INDEXYS, a Logical Step beyond GENESYS. - Andreas Eckel; Paul Milbredt; Zaid Al-Ars; Stefan Schneele; Bart Vermeulen; György Csertán; Christoph Scheerer; Neeraj Suri; Abdelmajid Khelil; Gerhard Fohler (SAFECOMP, 2010)