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