Combining petri nets and uml for model-based software engineering - Fernandes, João M. (2012)