Verification And Validation In Systems Engineering by Mourad Debbabi, Fawzi Hassaine & Luay Alawneh