Verification and validation in systems engineering by Mourad Debbabi | Lex | Lex