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.
N. Menke. University of Kassel, Masters Thesis, (сентября 2008)Betrachtung und Zertifizierung der Sicherheit unter Anwendung des Common-Criteria-Prozesses.