H. Liang, J. Dingel, und Z. Diskin. SCESM '06: Proceedings of the 2006 international workshop on Scenarios and state machines: models, algorithms, and tools, Seite 5--12. New York, NY, USA, ACM Press, (2006)
{. Dobrzański, und L. Kuzniarz. SAC '06: Proceedings of the 2006 ACM symposium on Applied computing, Seite 1273--1279. New York, NY, USA, ACM Press, (2006)
Lukasz Dobrza'nski, und L. Kuzniarz. SAC '06: Proceedings of the 2006 ACM symposium on Applied computing, Seite 1273--1279. New York, NY, USA, ACM Press, (2006)
D. Harel, und S. Maoz. SCESM '06: Proceedings of the 2006 international workshop on Scenarios and state machines: models, algorithms, and tools, Seite 13--20. New York, NY, USA, ACM Press, (2006)