Luay Alawneh, Mourad Debbabi, Yosr Jarraya, Andrei Soeanu, Fawzi Hassaïne: A Unified Approach for Verification and Validation of Systems and Software Engineering Models. ECBS 2006: 409-418