Consistent Integration of Formal Methods. - Peter Braun 003; Heiko Lötzbeyer; Bernhard Schätz; Oscar Slotosch (TACAS, 2000)

Specification based test sequence generation with propositional logic. - Guido Wimmel; Heiko Lötzbeyer; Alexander Pretschner; Oscar Slotosch (Softw. Test. Verification Reliab., 2000)

Model Based Testing in Evolutionary Software Development. - Alexander Pretschner; Heiko Lötzbeyer; Jan Philipps (IEEE International Workshop on Rapid System Prototyping, 2001)

Model-Based Software Engineering and Ada: Synergy for the Development of Safety-Critical Systems. - Andree Blotz; Franz Huber; Heiko Lötzbeyer; Alexander Pretschner; Oscar Slotosch; Hans-Peter Zängerl (Ada Deutschland Tagung, 2002)

Modellbasierte Testfallermittlung für eingebettete Systeme in sicherheitskritischen Anwendungen. - Heiko Lötzbeyer (2003)

Model based testing in incremental system development. - Alexander Pretschner; Heiko Lötzbeyer; Jan Philipps (J. Syst. Softw., 2004)