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