A Time-Predictable Model of Computation | IEEE Conference Publication | IEEE Xplore