Real-Time Verification of Statemate Designs. - Udo Brockmeyer; Gunnar Wittich (CAV, 1998)

Tamagotchis Need Not Die - Verification of STATEMENT Design. - Udo Brockmeyer; Gunnar Wittich (TACAS, 1998)

Ein problemorientierter Ansatz zum Nachweis von Realzeiteigenschaften eingebetteter Systeme. - Gunnar Wittich (1999)