S. Lohmann, J. Kaltz, und J. Ziegler. Models in Software Engineering, Volume 4364 von Lecture Notes in Computer Science, Springer Berlin Heidelberg, (2007)
S. Pietschmann, M. Voigt, und K. Meissner. Proceedings of the 2009 Fourth International Conference on Internet and Web Applications and Services, Seite 217--222. Washington, DC, USA, IEEE Computer Society, (2009)
A. Dittmar, und P. Forbrig. Interactive Systems. Design, Specification, and Verification, Volume 2844 von Lecture Notes in Computer Science, Kapitel 13, Springer-Verlag, Berlin/Heidelberg, (2003)