Xiaojie Guo 0003, Lionel Rieg, Paolo Torrini. A generic approach for the certified schedulability analysis of software systems. In 27th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2021, Houston, TX, USA, August 18-20, 2021. pages 83-92, IEEE, 2021. [doi]
Abstract is missing.