Mourad Debbabi, Fawzi Hassaïne, Yosr Jarraya, Andrei Soeanu, Luay Alawneh Verification and Validation in Systems Engineering - Germany Springer 2010 ISBN: 978-3-642-15228-3 Subjects--Topical Terms: Computer ScienceVerification and Validation in Systems Engineering