Poster Abstract: Towards Correct Transformation: From High-Level Models to Time-Triggered Implementations | IEEE Conference Publication | IEEE Xplore