Towards a Unified Paradigm for Verification and Validation of Systems Engineering Design Models. - Luay Alawneh; Mourad Debbabi; Fawzi Hassaïne; Yosr Jarraya; Payam Shahi; Andrei Soeanu (IASTED Conf. on Software Engineering, 2006)