J.C. Augusto , J. Barjis , U. Ultes-Nitsche
Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems
Specification and Analysis of Embedded Systems

Raedts, I, van der Werf, J.M, Petkovic, M, Usenko, Y.S, Somers, L, & Groote, J.F. (2007). Transformation Transformation of BPMN models for Behaviour Analysis. In J.C Augusto, J Barjis, & U Ultes-Nitsche (Eds.), proceedings of the 5th International Workshop on (..). MSVVEIS-2007 (pp. 126–137). INSTICC Press.