S. Lohmann, J. Kaltz, and J. Ziegler. Models in Software Engineering, volume 4364 of Lecture Notes in Computer Science, Springer Berlin Heidelberg, (2007)
A. Dittmar, and P. Forbrig. Interactive Systems. Design, Specification, and Verification, volume 2844 of Lecture Notes in Computer Science, chapter 13, Springer-Verlag, Berlin/Heidelberg, (2003)
H. Klus, D. Niebuhr, and A. Rausch. Proceedings of the International Workshop on Engineering of software services for pervasive environments (ESSPE 2007), page 21--28. Dubrovnik, Croatia, ACM, (September 2007)Electronic Proceedings.