Towards Compiling Region Types Into RTSJ-Compliant Java Code | IEEE Conference Publication | IEEE Xplore