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.
N. Menke. University of Kassel, Masters Thesis, (September 2008)Betrachtung und Zertifizierung der Sicherheit unter Anwendung des Common-Criteria-Prozesses.