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.
D. Niebuhr, and A. Rausch. SAVCBS '07: Proceedings of the 2007 conference on Specification and verification of component-based systems, page 101-102. Dubrovnik, Croatia, ACM, (September 2007)