Model Based Software and Systems Development - A White Paper
By Bernhard Schätz, Manfred Broy, Franz Huber, Jan Philipps, Wolfgang Prenninger, Alexander Pretschner, Bernhard Rumpe
White Paper, 2004 (www.cue-initiative.org)

Modellbasiertes Testen mit AutoFocus/Quest
By Alexander Pretschner, Bernhard Schätz
In: Softwaretechnik-Trends 21(1):20-23, 2001

AutoFocus -- Ein Werkzeugprototyp zur Entwicklung eingebetteter Systeme
By Manfred Broy, Franz Huber, Bernhard Schätz
In: Informatik Forschung und Entwicklung, Volume 14 Issue 3 (1999) pp 121-134

UML-RT - die Lösung für eingebettete Software?
By Bernhard Schätz
In: Proceedings of Modellierung 2004. Lecture Notes in Informatics. Springer, 2004

Consistency in Model-Based Development
By Bernhard Schätz, Peter Braun, Franz Huber, Alexander Wisspeintner
In: Proceedings of ECBS 2003 10th IEEE International Conference and Workshop on the Engineering of Computer Based Systems. IEEE Computer Society, 2003

Model-Based Development of Embedded Systems
Bernhard Schätz, Alexander Pretschner, Franz Huber, Jan Philipps.In: Bruel, J.-M.; Bellahsene, Z. (Eds.)
In: Advances in Object-Oriented Information Systems · OOIS 2002 Workshops, Montpellier, France, Springer LNCS, 2002

Consistent Integration of Formal Methods
By Peter Braun, Heiko Lötzbeyer, Bernhard Schätz, Oscar Slotosch
In: Tool and Algorithms for the Construction and Analysis of Systems (TACAS 2000), Susanne Graf, Michael Schwartzbach (eds.), Springer Verlag

Integrating Formal Description Techniques
By Bernhard Schätz, Franz Huber
In: FM'99 -- Formal Methods, Proceedings of the World Congress on Formal Methods in the Development of Computing Systems, Volume II, Jeannette M. Wing, Jim Woodcock, Jim Davies (eds.), Springer Verlag

Consistent Graphical Specification of Distributed Systems
By Franz Huber, Bernhard Schätz, Geralf Einert
In: FME '97: 4th International Symposium of Formal Methods Europe, Lecture Notes in Computer Science 1313, pp. 122 - 141, John Fitzgerald, Cliff B. Jones, Peter Lucas (ed.), Springer