Model-Based Design of Time-Triggered Real-Time Embedded systems for industrial automation | IEEE Conference Publication | IEEE Xplore