Books, Book Chapter

• Thomas Bauer, Robert Eschbach, "Model-based Testing of Distributed System Functions", Advanced Automated Software Testing: Frameworks for Refined Practice, IGI Global (accepted for publication)

• Jesse H. Poore, Lan Lin, Robert Eschbach, and Thomas Bauer, "Automated Statistical Testing of Embedded Systems", Chapter in "Model-Based Testing for Embedded Systems", Series on "Computational Analysis, Synthesis, and Design of Dynamic Systems.", 2011, ISBN: 9781439818459, ISBN 10: 1439818452, Publication Date: July 15, 2011
  

• Peter Liggesmeyer, "Software-Qualität. Testen, Analysieren und Verifizieren von Software", Spektrum Akademischer Verlag, 2009, Beitrag zu Kapitel Modellbasiertes Testen

• Helmut Balzert, "Lehrbuch der Software-Technik: Basiskonzepte Und Requirements Engineering", Spektrum Akademischer Verlag, 2009, Beitrag zu Kapitel Dynamik (Markov Ketten, Generalisierte Stochastische Petri-Netze) und zu Kapitel Logik (Aussagenlogik, Prädikatenlogik, Temporale Logik)

• Robert Eschbach, "Formal Specification and Verification: Structures and Techniques", Dissertation, University of Kaiserslautern, 2005