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