J. Rilling, Y. Zhang, W. Meng, R. Witte, V. Haarslev, and P. Charland. Models in Software Engineering: Workshops and Symposia at MoDELS 2006, Genoa, Italy, October 1-6, 2006, Reports and Revised Selected Papers, volume 4364 of LNCS, page 56--65. Springer Berlin/Heidelberg, (2007)