Verification Framework for Detecting Safety Violations in UML Statecharts | IEEE Conference Publication | IEEE Xplore