From Code to Weakly Hard Constraints: A Pragmatic End-to-End Toolchain for Timed C.

Saranya Natarajan, Mitra Nasri, David Broman, Bjrn B. Brandenburg, Geoffrey Nelissen

Browse the full RTSS paper archive.