- World Wide Web (December 2009)
- CoRR (2009)
- SMC, page 820-825. IEEE, (2011)
- EUROMICRO-SEAA, page 3-11. IEEE, (2010)
- SIGSOFT FSE, page 484-487. ACM, (2011)
- MTSR, volume 108 of Communications in Computer and Information Science, page 18-35. Springer, (2010)
- TWEB 5(3):15 (2011)
- UML, volume 2460 of Lecture Notes in Computer Science, page 383-397. Springer, (2002)
- Ann. Pure Appl. Logic 50(2):109-115 (1990)
- Ann. Pure Appl. Logic 111(3):185-201 (2001)
- International Journal of Man-Machine Studies 20(5):511-517 (1984)
- Electr. Notes Theor. Comput. Sci. 82(6):44-54 (2003)
- SAFECOMP, volume 1698 of Lecture Notes in Computer Science, page 260-271. Springer, (1999)
- Elektrotechnik und Informationstechnik 122(12):485-487 (2005)
- Manufacturing & Service Operations Management 13(2):146-162 (2011)
- QUATIC, page 280-285. IEEE Computer Society, (2010)
- Procedia CS (2011)
- World Wide Web 12(4):421-440 (2009)
- Journal of Systems and Software 84(4):655-668 (2011)
- WWW Companion Volume, page 205-208. ACM, (2011)


author