{. Aalst, N. Lohmann, P. Massuthe, C. Stahl, and K. Wolf. Informal Proceedings of the 4th International Workshop on Web Services and Formal Methods (WS-FM 2007), page 119--134. QUT, Brisbane, Australia, (2007)
N. Lohmann, P. Massuthe, C. Stahl, and D. Weinberg. International Conference on Business Process Management (BPM 2006), volume 4102 of Lecture Notes in Computer Science, page 17--32. Springer-Verlag, Berlin, (2006)