Property Specification and Static Verification of UML Models | IEEE Conference Publication | IEEE Xplore