Work-in-Progress: TTI: A Timing ISA for LET Model in Safety-Critical Systems | IEEE Conference Publication | IEEE Xplore