Books / Monographs

• Model-Based Development of Software Systems: From Models to Tools.
  Bernhard Schätz.
  Habilitation Thesis, Technische Universität München, 2009.
  
  
• Model-Based Engineering of Embedded Real-Time Systems
  Holger Giese, Gabor Karsai, Edward A. Lee, Bernhard Rumpe, Bernhard Schätz.
  Lecture Notes in Computer Science, Springer, 2010.
  
  
• Study of Worldwide Trends and R&D Programmes in Embedded Systems in View of Maximising the Impact of a Technology Platform in the Area
  Alfred Helmerich, Nora Koch , Luis Mandel, FAST GmbH, Munich, Germany.
  Peter Braun, Peter Dornbusch, Alexander Gruler, Patrick Keil, Roland Leisibach, Jan Romberg, Bernhard Schätz, Thomas Wild and Guido Wimmel, Technische Universität München, Germany.
  Performed for the  European Commission, Brussels, Belgium, 2005.
  
  
• Entwicklung, Produktion und Service von Software für eingebettete Systeme in der Produktion.
  Abschlußbericht der Vordringlichen Aktion des Bundesministeriums für Bildung und Forschung..
  Bernhard Schätz, Michael Fahrmayr, Peter Jack, Hans Kespohl, Ali Koc, Benito Liccardi, Sandra Scheermesser, Albert Zündorf.
  VDMA Verlag, 2000.
  

• Formale Beschreibungstechniken für verteilte Systeme
  Katharina Spies, Bernhard Schätz (eds.). Proceedings des 9. GI/ITG-Fachgesprächs.
  Herbert Utz Verlag, 1999.

Book Contributions

• Service-Oriented Modeling of CoCoME with Focus and AutoFocus
  Manfred Broy, Jorge Fox, Florian Hölzl, Dagmar Koss, Marco Kuhrmann, Michael Meisinger, Birgit Penzenstadler, Sabine Rittmann, Bernhard Schätz, Maria Spichkova, Doris Wild.
  In:  A. Rausch, R. Reussner, R. Mirandola, F. Plasil (Eds.): The Common Component Modeling Example: Comparing Software Component Models.
  Lecture Notes in Computer Science 5153. Springer, 2008.
  
  
• The FlexRay Protocol
  Bernhard Schätz, Christian Kühnel, Michael Gonschorek
  In: N. Navet, F. Simonot-Lion, The Automotive Embedded Systems Handbook, CRC Press / Taylor and Francis, 2008 (to appear).
  
  
• Mastering the Complexity of Embedded Systems - The AutoFocus Approach  (Short version available)
  Bernhard Schätz
  In: Formal Techniques for Embedded Distributed Systems: From Requirements to Detailed Design, Fabrice Kordon and Michel Lemoine (editors). Kluwer, 2004 
  
  
• An Empirical Investigation of Requirements Specification Languages: Detecting Defects While Formalizing Requirements
  Erik Kamsties, Antja von Knethen, Jan Philipps, Bernhard Schätz
  In: Information Modeling Methods and Methodologies;  John Krogstie , Terry Halpin , and Keng Siau (editors). IGI, 2004 

Journal Articles

• Verification of Model Transformations
  Bernhard Schätz
  Proceedings of the Eighth International Workshop on Graph Transformation and Visual Modeling Techniques,
  Electronic Communications of the EASST, 2010.
  
  
• Integrating Component Tests to System Tests.
  Bernhard Schätz, Christian Pfaller.
  Electr. Notes Theor. Comput. Sci. 260. 2010
  
  
• Modular Functional Descriptions.
  Bernhard Schätz
  In: Electronic Notes in Theoretical Computer Science, Volume 215. Elsevier, 2008
  
  
• Combining Product Lines and Model-Based Development.
  Bernhard Schätz.
  In: Electronic Notes in Theoretical Computer Science, Volume 182. Elsevier, 2007.
  
  
• Modellbasierte Anforderungsanalyse mit AutoRAID
  Eva Geisberger,  Bernhard Schätz
  In: Informatik Forschung und Entwicklung, Springer, 2007
  
  
• Das AutoMoDe-Projekt - Modellbasierte Entwicklung softwareintensiver Systeme im Automobil
  Andreas Bauer, Manfred Broy, Jan Romberg, Bernhard Schätz, Peter Braun, Ulrich Freund, Nuria Mata, Robert Sandner, Pierre Mai, Dirk Ziegenbein
  In: Informatik Forschung und Entwicklung, 1(22), Springer 2007
  
  
• Building Components from Functions
  Bernhard Schätz
  In: Electronic Notes in Theoretical Computer Science, Volume 160
  Proceedings of the International Workshop on Formal Aspects of Component Software (FACS 2005)
  Z. Liu and L. Barbosa (eds.)
  
  
• Editorial SoSyM special section on service-based software engineering
  Manfred Broy, Heinrich Hussmann, Ingolf H. Krüger, Bernhard Schätz
  In: Software and Systems Modeling, 5(2), Springer, 2006
  
  
• Integrierte Entwicklung von Automotive-Software mit AutoFocus  
  Andreas Bauer, Jan Romberg, Bernhard Schätz
  In: Informatik Forschung und Entwicklung, Volume 19, Issue 4
  
  
• Anforderungsanalyse in der modellbasierten Entwicklung am Beispiel  von AutoFocus
  Bernhard Schätz, Markus Pister, Alexander Wisspeintner (Slides in German)
  Softwaretechnik-Trends 24(1), 2004; in German
  
  
• Modellbasiertes Testen mit AutoFocus/Quest
  Alexander Pretschner, Bernhard Schätz
  Softwaretechnik-Trends 21(1):20-23, 2001; in German

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

Proceedings

• Modellbasierte Entwicklung eingebetteter Systeme V
  Holger Giese, Michaela Huhn, Ulrich Nickel, Bernhard Schätz
  Proceedings des Dagstuhl-Workshop  WS-NR. 09173
  Informatik- Bericht 2009-01, Carl-Friedrich-Gauß-Fakultät für Mathematik und Informatik, Technische Universität Braunschweig, 2009.
  
  
• Model-Based Engineering of Embedded Real-Time Systems.
  Holger Giese, Gabor Karsai, Edward Lee, Bernhard Rumpe, Bernhard Schätz.
  Proceedings des Dagstuhl-Seminars S-Nr. 07451.
  Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), 2007
  
  
• Modellbasierte Entwicklung eingebetteter Systeme |V
  Holger Giese, Michaela Huhn, Ulrich Nickel, Bernhard Schätz
  Proceedings des Dagstuhl-Workshop  WS-NR. 08152
  Technischer Bericht TUBS-SSE-2008-02, TU Braunschweig, 2008
  
  
• Proceedings of the 4th Intl. ICSE Workshop on Software Engineering for Automotive Systems
  Alexander Pretschner, Christian Salzmann, Bernhard Schätz, Thomas Stauner
  ACM Press,  2007
  
  
• Modellbasierte Entwicklung eingebetteter Systeme ||I
  Mirco Conrad, Holger Giese, Bernhard Rumpe, Bernhard Schätz
  Proceedings des Dagstuhl-Workshop  WS-NR. 07032
  Technischer Bericht TUBS-SSE-2007-01, TU Braunschweig, 2007.
  
  
• Joint Workshop Model-Based Development of Computer-Based Systems &
  Model-Based Development of Pervasive and Embedded Systems MBD/MOMPES 2006
  Ricardo Machado, Joao Fernandez, Matthias Riebisch, Bernhard Schätz
  IEEE Computer Society, 2006
  
  
• Modellbasierte Entwicklung eingebetteter Systeme ||
  Holger Giese, Bernhard Rumpe, Bernhard Schätz
  Proceedings des Dagstuhl-Workshop  WS-NR. 06022
  Technischer Bericht TUBS-SSE-2006-01, TU Braunschweig, 2006.
  
  
• Modellbasierte Entwicklung eingebetteter Systeme
  Torsten Klein, Bernhard Rumpe, Bernhard Schätz
  Proceedings des Dagstuhl-Workshop  WS-NR. 05022
  Technischer Bericht TUBS-SSE-2005-01, TU Braunschweig, 2005.
  
  
• SBSE'03: Proceedings of the FM'03 Workshop on Service-Based Software Engineering
  Ingolf Krüger, Bernhard Schätz, Manfred Broy, Heinrich Hussmann (eds.)
  Technical Report TUMI-0315, Fakultät für Informatik, TU München, 2003.
  
  
• Formale Beschreibungstechniken für verteilte Systeme
  Katharina Spies, Bernhard Schätz (eds.).
  Proceedings des 9. GI/ITG-Fachgesprächs. Herbert Utz Verlag, 1999.

Proceedings Contributions

• Bakr Al-Batran, Bernhard Schätz and Benjamin Hummel.
  Semantic Clone Detection for Model-Based Development of Embedded Systems.
  14th International Conference on Model Driven Engineering Languages and Systems (MoDELS'11), 2011.
  
  
• Florian Mutter, Bernhard Schätz and Stefanie Gareis.
  Model-Driven In-the-Loop Validation: Simulation-Based Testing of UAV Software Using Virtual Environments.
  18th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems, (ECBS 2011), 2011.
  
  
• Stefan Wagner, Bernhard Schätz, Stefan Puchner, Peter Kock.
  A Case Study on Safety Cases in the Automotive Domain: Modules, Patterns, and Models.
  In: Proc. International Symposium on Software Reliability Engineering (ISSRE '10), IEEE Computer Society, 2010
  
  
• Can Clone Detection Support Quality Assessments of Requirements Specifications?
  Elmar Juergens, Florian Deissenboeck, Martin Feilkas, Benjamin Hummel, Bernhard Schätz, Stefan Wagner, Christoph Domann, Johnathan Streit.
  Proc. 32nd International Conference on Software Engineering (ICSE '10). ACM Press, 2010.
  
  
• Design-Space Exploration through Constraint-Based Model-Transformation.
  Bernhard Schätz, Florian Hölzl, and Torbjörn Lundkvist
  17th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems, (ECBS 2010), 2010.
  
  
• Certification of Embedded Software - Impact of ISO DIS 26262 in the Automotive Domain. (Extended Abstract, slides)
  Bernhard Schätz
  In:  Proceedings of ISoLA, 2010
  
  
• Structured Formalization of Service-Oriented Specifications.
  Markus Herrmannsdörfer, Sabine Rittmann, Bernhard Schätz.
  16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems, (ECBS 2009), 2009.
  
  
• Formalization and Rule-Based Transformation of EMF Ecore-Based Models
  Bernhard Schätz
  In: Proc. 1st Internatl Conference on Language Engineering (SLE 2008), 2008.
  
  
• Integrating Component Tests to System Tests
  Bernhard Schätz, Christian Pfaller
  In: Proc. of 5th International Workshop on Formal Aspects of Component Software, Malaga, September 2008
  
  
• Model-Based Safety Cases for Software-Intensive Systems
  Peter Braun, Jan Philipps, Bernhard Schätz, Stefan Wagner
  In: Proc. International Workshop on the Certification of Safety-Critical Software Controlled Systems (SafeCert 2008)
  
  
• Florian Deissenboeck, Benjamin Hummel, Elmar Juergens, Bernhard Schätz, Stefan Wagner, Jean-Francois Girard, Stefan Teuchert
  Clone Detection in Automotive Model-Based Development
  Proc. 30th International Conference on Software Engineering (ICSE '08). ACM Press, 2008
  
  
• Vorwort zum Industriesymposium der Modellierung 2008.
  Bernhard Schätz
  In: T. Kühne, W. Reisig, F. Steimann (Eds.): Modellierung 2008. LNI 127 GI, 2008.
  
  
• Modular Functional Specification of Reactive Components
  Bernhard Schätz
  In: Proceedings of Formal Aspects of Component Systems (FACS'07), Sofia-Antipolis 2007
  
  
• 4th International ICSE Workshop on Software Engineering for Automotive Systems
  Alexander Pretschner, Christian Salzmann, Bernhard Schätz, Thomas Stauner
  ICSE Companion 2007
  
  
• Combining Product Lines and Model-Based Development
  Bernhard Schätz
  In: Proceedings of Formal Aspects of Component Systems (FACS'06), Prague 2006
  
  
• A Playful Approach to Formal Models - A field report on teaching modeling fundamentals at middle school
  Katharina Spies, Bernhard Schätz
  In: Proceedings of Formal Methods in the Teaching Lab, FM'06 Workshop, Hamilton, 2006
  
  
• Model-Based Engineering of Embedded Control Software
  Bernhard Schätz
  In: Proceedings of MDB/MOMPES 2006
  IEEE Computer Society, 2006
  
  
• Building Components from Functions
  Bernhard Schätz
  In: Proceedings 2nd International Workshop on Formal Aspects fo Component Software (FACS'05), Macao, 2005
  
  
• Interface Descriptions for Embedded Components
  Bernhard Schätz
  In: Proceedings 3rd Workshop on Object-oriented Modeling of Embedded Real-Time Systems (OMER'05), Paderborn 2005
  
  
• Modellbasierte Anforderungsentwicklung
  Bernhard Schätz, Andreas Fleischmann, Eva Geisberger, Markus Pister
  In: Proceedings netObject-Days 2005.
  
  
• Model-Based Requirements Engineering with AutoRAID (Slides)
Bernhard Schätz, Andreas Fleischmann, Eva Geisberger, Markus Pister
In: Proceedings of Informatik 2005 Workshop Modellbasierte Qualitätssicherung.
Lecture Notes in Informatics, Springer, 2005.


• Checking and Transforming Model with AutoFocus
  Bernhard Schätz, Peter Braun, Franz Huber, Alexander Wisspeintner
  In: Proceedings of ECBS 2005 12th IEEE International Conference and Workshop on the Engineering of Computer Based Systems. IEEE Computer Society, 2005. 
  
  
• AutoMoDe --- Notations, Methods, and Tools for Model-Based Development of Automotive Software.
  Andreas Bauer, Manfred Broy, Jan Romberg, Bernhard Schätz, Peter Braun, Ulrich Freund, Núria Mata, Robert Sandner, Dirk Ziegenbein.
  In Proceedings of the SAE 2005 World Congress. Society of Automotive Engineers, 2005.
  
  
• AutoMoDe --- Model-Based Development of Automotive Software.
  Dirk Ziegenbein, Ulrich Freund, Peter Braun, Robert Sandner, Andreas Bauer, Jan Romberg, Bernhard Schätz. 
  In Proceedings of the 2005 Conference on Design, Automation and Test in Europe (DATE). IEEE Computer Society, 2005.
  
  
• Model-Based Development: Combining Engineering Approaches and Formal Techniques (Tutorial Abstract)
  Bernhard Schätz
  In: Formal Methods and Software Engineering, Proc. ICFEM 2004, J.Davis, W.Schulte, M.Barnett (Eds.). Springer, 2004
  
  
• Integrierte Entwicklung von Automotive-Software mit AutoFOCUS
  Andreas Bauer, Jan Romberg, Bernhard Schätz
  In: 2. Workshop Automotive Software Engineering, 34. Jahrestagung der Gesellschaft für Informatik, 2004
  
  
• Service-based development of embedded systems
  Leonid Kof, Bernhard Schätz, Ingomar Thaler,  and Alexander Wisspeintner
  In: Net.Object Days Conference, OOSE Workshop, Erfurt, Germany,  2004. Electronic Publication
  
  
• Introducing Mobility: The mPolice Project.
  Michael Ney, Bernhard Schätz, Joachim Höck, Christian Salzmann
  In: IT Innovation for Adaptability and Competitiveness, B.Fitzgerald, E. Wynn (eds.). Kluwer Academic Publisher, 2004. 
  
  
• Introducing Mobility: Strategy Oriented Design of Mobile Services.
  Michael Ney, Bernhard Schätz, Michael Wagner
  Proceedings of: World Wireless Conference, 25-28. Mai 2004, San Francisco, California, USA 
  
  
• AutoMoDe -- Automotive Model Based Development.
  Andreas Bauer, Ulrich Freund, Núria Mata, Jan Philipps, Jan Romberg, Bernhard Schätz,  and Oscar Slotosch
  In: Forschungsoffensive Software Engineering 2006, Eröffnungskonferenz, Berlin, Germany. Bundesministerium für Bildung und Forschung, 2004.
  
  
• UML-RT - die Lösung für eingebettete Software? (English version)
  Bernhard Schätz.
  In: Proceedings of Modellierung 2004. Lecture Notes in Informatics. Springer, 2004
  
  
• CASE Support and Model-Based Development
  Bernhard Schätz, Jan Romberg, Martin Strecker, Oscar Slotosch.
  In: Proceedings of Modellierung 2004. Lecture Notes in Informatics. Springer, 2004
  
  
• Modeling Embedded Software: State of the Art and Beyond
  Bernhard Schätz, Jan Romberg, Martin Strecker, Oscar Slotosch, Katharina Spies, et. al.
  In: Proceedings of ICSSEA 2003 16th International Conference on Software and Systems Engineering and their Applications, 2003
  
  
• Modeling: It’s a child’s play – An experimental report on “Children Become Computer Scientists”
  Katharina Spies, Bernhard Schätz.
  In: Proceedings of ICSSEA 2003 16th International Conference on Software and Systems Engineering and their Applications, 2003 
  
  
• Service-Based Systems Engineering: Consistent Combination of Services
  Bernhard Schätz, Christian Salzmann
  In: Proceedings of  ICFEM 2003, Fifth International Conference on Formal Engineering Methods. Springer LNCS 2885, 2003
  
  
• Combining Aspects of Reactive Systems
  Leonid Kof, Bernhard Schätz,
  In: Proceedings of  Perspectives of System Informatics'03. Springer LNCS 2890, 2003
  
  
• Consistency in Model-Based Development
  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 Software Engineering - Linking more and less formal product models to a structured process
  Bernhard Schätz, Katharina Spies
  In: Proceedings of ICSSEA 2002 15th International Conference on Software and Systems Engineering and their Applications, 2002
  
  
• Model-Based Development of Embedded Systems
  Bernhard Schätz, Alexander Pretschner, Franz Huber, Jan Philipps.In:  Bruel, J.-M.; Bellahsene, Z. (Eds.):
  Advances in Object-Oriented Information Systems · OOIS 2002 Workshops, Montpellier, France, Springer LNCS, 2002
  
  
• An empirical investigation of the defect defection capabilities of requirements specification techniques
  E. Kamsties, A. von Knethen, J. Philipps, and B. Schätz.
  In J. Krogstie, K. Siau, and T. Halpin, editors, Proceedings of the 6th CAiSE/IFIP8.1 International Workshop on Evaluation of Modeling Methods in System Analysis and Design (EMMSAD’01), Interlaken, Switzerland, 4-5 June 2001.
  

• Formalizing Chisel Specifications.
  Bernhard Schätz
  In: Visuelle Verhaltensmodellierung verteilter und nebenläufiger Software-Systeme, 8. Workshop des Arbeitskreises GROOM der GI-Fachgruppe 2.1.9. H. Giese und S. Phillipi (eds.). Technical Report 24/00-I. Universität Münster, 2000.
  
  
• Bernhard Schätz, Katharina Spies
  10 Years Focus -- Lessons Learned
  In: 10.GI/ITG-Fachgespräch - Formale Beschreibungstechniken für verteilte Systeme,
  Lübeck 2000.
  
  
• Consistent Integration of Formal Methods
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
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


• Erik Kamsties , Antje von Knethen , Jan Philipps, and Bernhard Schätz
  Eine vergleichende Fallstudie mit CASE-Werkzeugen für formale und semi-formale Beschreibungstechniken.
  In Formale Beschreibungstechniken für verteilte Systeme, 9. GI/ITG Fachgespräch, 1999.
  
  
• Erik Kamsties , Antje von Knethen , Jan Philipps, and Bernhard Schätz
  Eine vergleichende Fallstudie mit CASE-Werkzeugen für objektorientierte und funktionale Modellierungstechniken.
  In OMER Workshop Proceedings Bericht Nr. 1999-01, 1999.
  
  
• Specification Modules for Methodical System Development
  
Franz Huber , Bernhard Schätz
In: 8. GI/ITG Fachgespräch "Formale Beschreibungstechniken für verteilte Systeme", pp. 75-86, H. König, P. Langendörfer (eds.) Shaker Verlag, Aachen


• Tool supported Specification and Simulation of Distributed Systems
  
Franz Huber, Sascha Molterer, Andreas Rausch, Bernhard Schätz, Marc Sihling, Oscar Slotosch
IN: Proceedings International Symposium on Software Engineering for Parallel and Distributed Systems, pp. 155-164, ISBN 0-8186-8467-4
Bernd Krämer, Naoshi Uchihira, Peter Croll, Stefano Russo (eds.)
IEEE Computer Society, Los Alamitos, California


• Traffic Lights - An AutoFocus Case Study
  
Franz Huber, Sascha Molterer, Bernhard Schätz, Oscar Slotosch, Alexander Vilbig
IN: 1998 International Conference on Application of Concurrency to System Design, pp. 282-294
IEEE Computer Society


• Consistent Graphical Specification of Distributed Systems
  
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.


• Rapid Prototyping with AutoFocus
  
Franz Huber , Bernhard Schätz
In: Formale Beschreibungstechniken für verteilte Systeme, GI/ITG Fachgespräch 1997, pp. 343-352, A. Wolisz, I. Schieferdecker, A. Rennoch (ed.), GMD Verlag (St. Augustin).


• AutoFocus - A Tool for Distributed Systems Specification.
  
Franz Huber , Bernhard Schätz , Alexander Schmidt , Katharina Spies .
In: Proceedings FTRTFT'96 - Formal Techniques in Real-Time and Fault-Tolerant Systems. 1996. p. 467-470. Bengt Jonsson, Joachim Parrow (ed.). LNCS 1135, Springer Verlag.


• AutoFocus - Ein Werkzeugkonzept zur Beschreibung verteilter Systeme.
  
Franz Huber, Bernhard Schätz, Katharina Spies.
Arbeitsberichte des Instituts für mathematische Maschinen und Datenverarbeitung (Informatik) der Universität Erlangen, 1996.


• Graphical Development of Consistent System Descriptions.
  
Manfred Broy, Heinrich Hußmann, Bernhard Schätz
Proceedings of FME'96 Formal Methods Europe. Springer, Lecture Notes in Computer Science 1051. 1995.


• On the Use of Transputers to Implement Neural Networks.
Marco Dorigo, Bernhard Schätz & D. Sorrenti.
In: Proceedings of IMACS-IFAC Symposium on Parallel and Distributed Computing in Engineering Systems, Corfu,Greece, S.Tzafestas, P.Borne and L.Grandinetti (Eds.), Kluwer Academic, 359-364.


• On the Use of Transputers to Implement Neural Networks.
  Marco Dorigo, Bernhard Schätz & D. Sorrenti.
  Engineering systems with intelligence: Concepts, tools and applications. IC.07-IFAC91 S.Tzafestas (Ed.), Kluwer Academic, 179-186. 1991.
  


• Portierung eines neuronalen Netzwerksimulators auf ein Transputersystem.
Bernhard Schätz
In: Abstraktband des 2. bundesweiten Transputer-Anwender-Treffens TAT'90, RWTH Aachen, pp. 48-49, 1990.

 Andere

• Tiziana Margaria,  Bernhard Schätz, Marcel Verhoef.
  Formal Methods Going Mainstream: Cost, Benefits and Experiences. Report on the ForTIA Industry Day at FM'05.
  Appeared in: BCS-FACS Facts, Issue 2006-2, pp 34-38, ISSN 0950-1231, September, 2006.
  
  
• Model-Based Software and Systems Development - A White Paper.
  Bernhard Schätz, Manfred Broy, Franz Huber, Jan Philipps, Wolfgang Prenninger, Alexander Pretschner, Bernhard Rumpe
  White Paper, 2004
  
  
• CASE Tools for Embedded Systems [pdf-Version]
  Bernhard Schätz, Tobias Hain,Wolfgang Prenninger, Martin Rappl, Jan Romberg, Oscar Slotosch, Martin Strecker, Alexander Wisspeintner, et.al. Technical Report TUMI-0309, Fakultät für Informatik, TU München, 2003
  
  
• Towards Service-Based Systems Engineering: Formalizing and mu-Checking Service Specifications [pdf-Version]
  Bernhard Schätz. Technical Report TUMI-0602, Fakultät für Informatik, TU München, 2002

• Model-based Development of Embedded Systems [pdf-Version]
  Bernhard Schätz, Alexander Pretschner, Franz Huber, Jan Philipps. Technical Report TUMI-0402, Fakultät für Informatik, TU München, 2002

• The ODL Operation Definition Language and the AutoFocus/Quest Application Framework AQuA [pdf-Version]
  Bernhard Schätz
  Technical Report TUMI-1101, Fakultät für Informatik, TU München, 2001
  
  
• Integrated Development of Embedded Systems with AutoFocus [pdf-Version]
  Franz Huber, Bernhard Schätz
  Technical Report TUMI-0701, Fakultät für Informatik, TU München, 2001
  

• The Future of Information Technology - an interdisciplinary, scenario-based approach.
  Klaus Bergner, Bernhard Deifel, Carsten Jacobi, Wolfgang Kellerer, Andreas Rausch, Alexander Sabbah, Bernhard Schätz, Marc Sihling, Alexander Vilbig, Sascha Vogel.
  Technische Universität München, Institut für Informatik, Technical Report TUM-I0004.
  

• Ein methodischer Übergang von asynchron zu synchron kommunizierenden Systemen
  
Bernhard Schätz
Dissertation, Technische Universität München, 1998.

• Summary of Case Studies in Focus - Part II
  
Manfred Broy , Max Breitling , Bernhard Schätz, Katharina Spies
TUM-I9740, Technische Universität München 1997.

• The Steamboiler Specification - A Case Study in Focus.
Manfred Broy, Franz Regensburger, Bernhard Schätz, Katharina Spies.
Technischer Bericht TUM-I9714. Institut für Informatik, Technische Universität München, 1997.

• Formale Syntax zur logischen Kernsprache der Focus-Entwicklungsmethodik
  
Bernhard Schätz und Katharina Spies
TUM-I9529, Technische Universität Müchen, 1995


• A Summary of Case Studies in FOCUS - a Design Method for Distributed Systems (Unkomprimierte Version)
Manfred Broy, Max Fuchs, Thomas F. Gritzner, Bernhard Schätz,
Katharina Spies, Ketil Stølen
TUM-I9423, Technische Universität München, 1994

• Mapping a Generator for Neural Network Simulators to a Transputer System
Bernhard Schätz, Marco Dorigo.
FKI-137-90, Technische Universität München, Institut für Informatik,1990.