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