Model Driven Testing with Time Augmented Markov Chain Usage Models - Computations and Test Case Generation Algorithms for Time Augmented Markov Chain Usage Models. - Sebastian Siegl; Vladimir Entin; Reinhard German; Gerhard Kiffe (ICSOFT (1), 2009)

Systematic Model Driven Test of Vehicular Energy Management and Engine Control. - Sebastian Siegl; Kai-Steffen Hielscher; Reinhard German; Gerhard Kiffe (VTC Fall, 2010)