Verification and Validation in Systems Engineering Assessing UML/SysML Design Models - Debbabi, Mourad; Hassaïne, Fawzi; Jarraya, Yosr; Soeanu, Andrei; Alawneh, Luay (Springer Berlin Heidelberg, 2010)