The Rhapsody UML Verification Environment. - Ingo Schinz; Tobe Toben; Christian Mrugalla; Bernd Westphal (SEFM, 2004)

IT-Grundschutz-basierendes Sicherheitskonzept für die Virtuelle Poststelle des Bundes. - Christian Mrugalla; Sönke Maseberg (Sicherheit, 2005)