selected publications chapter INDEXYS, a Logical Step beyond GENESYS. Springer eBooks. 431-451. 2010 conference paper A Test Tool for FlexRay-based Embedded Systems. . 2007