Verification and validation in systems engineering : assessing UML/SysML design models / Mourad Debbabi, Fawzi Hassaine, Yosr Jarraya, Andrei Soeanu, Luay Alawneh. - Debbabi, Mourad; Hassaine, Fawzi; Jarraya, Yosr; Soeanu, Andrei; Alawneh, Luay (Springer, 2010)