S. Lohmann, J. Kaltz, and J. Ziegler. Models in Software Engineering, volume 4364 of Lecture Notes in Computer Science, Springer Berlin Heidelberg, (2007)
M. Blumendorf, G. Lehmann, S. Feuerstack, and S. Albayrak. Interactive Systems. Design, Specification, and Verification, volume 5136 of Lecture Notes in Computer Science, chapter 22, Springer-Verlag, Berlin/Heidelberg, (2008)