Download Efficient Time-Triggered Execution in an Interrupt-Driven Real