Andreas Eckel Paul Milbredt Zaid Al-Ars Stefan Schneele Bart Vermeulen György Csertán Christoph Scheerer Neeraj Suri Abdelmajid Khelil Gerhard Fohler INDEXYS, a Logical Step beyond GENESYS. 431-451 2010 SAFECOMP http://dx.doi.org/10.1007/978-3-642-15651-9_32 conf/safecomp/2010 db/conf/safecomp/safecomp2010.html#EckelMASVCSSKFa10