Time-predictable code execution — Instruction-set support for the single-path approach | IEEE Conference Publication | IEEE Xplore