Design and Implementation of an Automatic RTPA Code Generator | IEEE Conference Publication | IEEE Xplore