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