Platform-Specific Code Generation from Platform-Independent Timed Models | IEEE Conference Publication | IEEE Xplore