1. Abschlussbericht DFG-Schwerpunktprogramm 1040, Entwurf und Entwurfsmethodik eingebetteter Systeme, Wolfgang Rosenstiel, Universität Tübingen, BMW AG, 1997–2003
2. Avizienis A, Laprie JC, Randell B, Landwehr C (2004) Basic concepts and taxonomy of dependable and secure computing. IEEE Trans Dependable Secur Comput 1(1):11–33
3. Barnes J (2008) Safe and Secure Software – an invitation to Ada 2005. AdaCore, New York
4. Bell DE, LaPadula LJ (1973) Secure Computer Systems: Mathematical Foundations. MITRE Corporation
5. Bell DE, LaPadula LJ (1976) Secure Computer System: Unified Exposition and Multics Interpretation. MITRE Corporation. http://csrc.nist.gov/publications/history/bell76.pdf, letzter Zugriff: 13. November 2013