Maestro for Let's Dance: An Environment for Modeling Service Interactions. - Gero Decker; Margarit Kirov; Johannes Maria Zaha; Marlon Dumas (BPM Demos, 2006)