RISC-V Timing-Instructions for Open Time-Triggered Architectures | IEEE Conference Publication | IEEE Xplore