supported publications or other works A Plug-in Based Approach for UML Model Simulation Chapters Editorial Journal Articles The Use of Model Transformation in the INESS Project Conferences Using Model Transformation to Generate Graphical Counter-Examples for the Formal Analysis of xUML Models Conferences