Verification And Validation For Quality Of Uml 2.0 Models by Bhuvan Unhelkar