Execution of a high level real-time language | IEEE Conference Publication | IEEE Xplore