Verification and Validation in Systems Engineering Assessing UML/SysML Design Models - Debbabi, Mourad (Springer-Verlag Berlin Heidelberg, 2010)