Analyzing Network Management Effects with SPIN and cTLA. - Gerrit Rothmaier; Andre Pohl; Heiko Krumm (SEC, 2004)

A Framework Based Approach for Formal Modeling and Analysis of Multi-level Attacks in Computer Networks. - Gerrit Rothmaier; Heiko Krumm (FORTE, 2005)

Formale Modellierung und Analyse protokollbasierter Angriffe in TCP/IP Netzwerken am Beispiel von ARP und RIP. - Gerrit Rothmaier; Heiko Krumm (Sicherheit, 2005)

Using SPIN and Eclipse for Optimized High-Level Modeling and Analysis of Computer Network Attack Models. - Gerrit Rothmaier; Tobias Kneiphoff; Heiko Krumm (SPIN, 2005)

Integrated formal modeling and automated analysis of computer network attacks. - Gerrit Rothmaier (2007)