Ole Lübke, Sibylle Schupp. WCET-aware reachability for verified simplex design: work-in-progress. In Linh Thi Xuan Phan, David Broman, editors, EMSOFT '21: Proceedings of the 2021 International Conference on Embedded Software, Virtual Event, October 8 - 15, 2021. pages 27-28, ACM, 2021. [doi]
Abstract is missing.