In: Lindemann, Burkhard, Czaja, Skowron, Schlingloff, Suraj (Eds.): Proceedings of the International Workshop on Concurrency, Specification and Programming (CS&P) 2004, pages 12-27. Informatik-Berichte der Humboldt-Universität zu Berlin, Nr. 170, September 2004.