Lukasz Dobrza'nski, и L. Kuzniarz. SAC '06: Proceedings of the 2006 ACM symposium on Applied computing, стр. 1273--1279. New York, NY, USA, ACM Press, (2006)
D. Harel, и S. Maoz. SCESM '06: Proceedings of the 2006 international workshop on Scenarios and state machines: models, algorithms, and tools, стр. 13--20. New York, NY, USA, ACM Press, (2006)