S. Lohmann, J. Kaltz, and J. Ziegler. Models in Software Engineering, volume 4364 of Lecture Notes in Computer Science, Springer Berlin Heidelberg, (2007)
S. Pietschmann, V. Tietz, J. Reimann, C. Liebing, M. Pohle, and K. Meißner. Proceedings of the 12th International Conference on Information Integration and Web-based Applications &\#38; Services, page 413--420. New York, NY, USA, ACM, (2010)
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)