CPP2XMI: Reverse Engineering of UML Class, Sequence, and Activity Diagrams from C++ Source Code. - E. Korshunova; Marija Petkovic; M. G. J. van den Brand; Mohammad Reza Mousavi 001 (WCRE, 2006)

A software framework for automated verification. - Ivo Raedts; Marija Petkovic; Alexander Serebrenik; Jan Martijn E. M. van der Werf; Lou J. Somers; Maarten Boote (SAC, 2007)

Transformation of BPMN Models for Behaviour Analysis. - Ivo Raedts; Marija Petkovic; Yaroslav S. Usenko; Jan Martijn E. M. van der Werf; Jan Friso Groote; Lou J. Somers (MSVVEIS, 2007)