Verification and Validation for Quality of UML 2.0 Models inbundenEngelska, 2005