Towards a mechanical verification of real-time reactive systems modeled in UML | IEEE Conference Publication | IEEE Xplore