Verification and validation for quality of UML 2.0 madels - Unhelkar, Bhuvan (John Wiley, 2005)