1. Gerd Behrmann , Alexandre David , and Kim G . Larsen . 2004 . A Tutorial on Uppaal. In Formal Methods for the Design of Real-Time Systems: International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Bertinora, Italy, September 13--18, 2004, Revised Lectures. Springer , Berlin, Heidelberg. Gerd Behrmann, Alexandre David, and Kim G. Larsen. 2004. A Tutorial on Uppaal. In Formal Methods for the Design of Real-Time Systems: International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Bertinora, Italy, September 13--18, 2004, Revised Lectures. Springer, Berlin, Heidelberg.
2. Rabie Ben Atitallah , Philippe Marquet , Éric Piel , Samy Meftali , Smail Niar , Anne Etien , Jean-Luc Dekeyser , and Pierre Boulet . 2008 . Gaspard2: from MARTE to SystemC Simulation . In Proceeedings of the DATE'08 workshop on Modeling and Analyzis of Real-Time and Embedded Systems with the MARTE UML profile. Washington, United States. Rabie Ben Atitallah, Philippe Marquet, Éric Piel, Samy Meftali, Smail Niar, Anne Etien, Jean-Luc Dekeyser, and Pierre Boulet. 2008. Gaspard2: from MARTE to SystemC Simulation. In Proceeedings of the DATE'08 workshop on Modeling and Analyzis of Real-Time and Embedded Systems with the MARTE UML profile. Washington, United States.
3. Model checking of MARTE/CCSL time behaviors using timed I/O automata
4. Timing consistency checking for UML/MARTE behavioral models
5. Many-objective optimization of non-functional attributes based on refactoring of software models