Verification and validation in systems engineering assessing UML/sysML designed models - Debbabi, Mourad...[et.al] (Springer-verlag, 2010)