Marco Maida, Sergey Bozhko, Björn B. Brandenburg. Work-in-Progress: Automatically Generated Response-Time Proofs as Evidence of Timeliness. In 42nd IEEE Real-Time Systems Symposium, RTSS 2021, Dortmund, Germany, December 7-10, 2021. pages 512-515, IEEE, 2021. [doi]
Abstract is missing.