Behavioral Verification of UML2.0 Software Architecture | IEEE Conference Publication | IEEE Xplore