Automatic Code Generation from Real-Time Systems Specifications | IEEE Conference Publication | IEEE Xplore