The time-triggered model of computation | IEEE Conference Publication | IEEE Xplore