From Scenarios to Hierarchical Broadcasting Software Architectures Using UML-RT. - Ingolf Krüger; Wolfgang Prenninger; Robert Sandner; Manfred Broy (Int. J. Softw. Eng. Knowl. Eng., 2002)

Case Studies. - Wolfgang Prenninger; Mohammad El-Ramly; Marc Horstmann (Model-Based Testing of Reactive Systems, 2004)

Development of Hierarchical Broadcasting Software Architectures Using UML 2.0. - Ingolf Krüger; Wolfgang Prenninger; Robert Sandner; Manfred Broy (SoftSpez Final Report, 2004)

Abstractions for Model-Based Testing. - Wolfgang Prenninger; Alexander Pretschner (TACoS, 2004)

Broadcast MSCs. - Ingolf Krüger; Wolfgang Prenninger; Robert Sandner (Formal Aspects Comput., 2004)

One evaluation of model-based testing and its automation. - Alexander Pretschner; Wolfgang Prenninger; Stefan Wagner 001; Christian Kühnel; Martin Baumgartner; Bernd Sostawa; Rüdiger Zölch; Thomas Stauner (ICSE, 2005)

Computing Refactorings of Behavior Models. - Alexander Pretschner; Wolfgang Prenninger (MoDELS, 2005)

Computing refactorings of state machines. - Alexander Pretschner; Wolfgang Prenninger (Softw. Syst. Model., 2007)