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