Transformation of UML Models into Formal RTPA Specifications | IEEE Conference Publication | IEEE Xplore