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)