1. Baur, P. et al.: The Verification Support Environment VSE. IFAC Symposium on Safety, Security and Reliability on Computers, Zürich 1992
2. Belli, F., Grochtmann, M. und Jade, O.: Erprobte Modelle zur Quantifizierung der Software-Zuverlössigkeit. Informatik-Spektrum 21 (1998) Heft 3 (Juni 1998), S. 131–140
3. Beth, Th.: Zur Sicherheit in der Informationstechnik. Informatik-Spektrum 13 (1990), S. 204–215
4. Birkle, M.: Hard-und Software-Zuverlässigkeit - Ansätze für Zuverlässigkeitskenngrößen bei Systemen mit Entwurfsfehlern. FhGIITB-Mitteilungen 1997 S. 17–23. Karlsruhe: Fraunhofer-Institut IITB 1997
5. Clarke, E.M. and Emerson, E.A.: Synthesis of Synchronisation Skeletons for Branching Time Temporal Logic. In Logic of Programs: Workshop Yorktown Heights, NY, May 19981, Vol. 131 of LNCS, Springer Verlag 1981