The design of large real-time systems: the time-triggered approach | IEEE Conference Publication | IEEE Xplore