Verification and validation in systems engineering : assessing UML/SysML design models / M. Debbabi [et al.], 2010 r=on-line. - Текст : электронный.