Towards Compiling Region Types Into RTSJ-Compliant Java Code. - Florin Craciun; Gabriel Glodean (SYNASC, 2018)