Real-Time and Embedded Systems Challenges - Key Requirements and Issues. - Nadia Menad; Philippe Dhaussy (ICSOFT, 2013)

MDA Approach for Distributed and Real-Time embedded Systems Analysis and Verification - Overview and First Proposal. - Nadia Menad; Philippe Dhaussy; Belhadri Messabih (ICSOFT, 2013)

A Transformation Approach for Multiform Time Requirements. - Nadia Menad; Philippe Dhaussy (SEFM, 2013)

Towards a Transformation Approach of Timed UML MARTE Specifications for Observer-Based Formal Verification. - Nadia Menad; Philippe Dhaussy; Zoé Drey; Rachida Mekki (Comput. Informatics, 2016)