Work-in-Progress: Programs with Ironclad Timing Guarantees | IEEE Conference Publication | IEEE Xplore