N. Menke. University of Kassel, Masters Thesis, (сентября 2008)Betrachtung und Zertifizierung der Sicherheit unter Anwendung des Common-Criteria-Prozesses.
R. Rodríguez, J. Merseguer, и S. Bernardi. SERENE'10: Proceedings. of the 2nd International Workshop on Software Engineering for Resilient Systems, ACM, (2010)Accepted for publication.