"Verification and Validation in Systems Engineering: Assessing UML SysML Design Models" - читать интересную книгу автора (Mourad Debbabi, Fawzi Hassaïne, Yosr Jarraya, Andrei Soeanu, Luay Alawneh)