DOI,IST REx ID,Research Group,Title of publication
10.1145/3729249,19936,MiSa,RefinedProsa: Connecting response-time analysis with C verification for interrupt-free schedulers