{. Dobrzański, and L. Kuzniarz. SAC '06: Proceedings of the 2006 ACM symposium on Applied computing, page 1273--1279. New York, NY, USA, ACM Press, (2006)
H. Liang, J. Dingel, and Z. Diskin. SCESM '06: Proceedings of the 2006 international workshop on Scenarios and state machines: models, algorithms, and tools, page 5--12. New York, NY, USA, ACM Press, (2006)
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)
H. Fekih, L. Ayed, and S. Merz. SAC '06: Proceedings of the 2006 ACM symposium on Applied computing, page 1840--1844. New York, NY, USA, ACM Press, (2006)