D. Harel, and S. Maoz. SCESM '06: Proceedings of the 2006 international workshop on Scenarios and state machines: models, algorithms, and tools, page 13--20. New York, NY, USA, ACM Press, (2006)
E. Brinksma, D. Harel, A. Mader, P. Stevens, and R. Wieringa. MMOSS, volume 06351 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, (2006)