@InProceedings{rheinfels_et_al:LIPIcs.ECRTS.2023.11,
author = {Rheinfels, Tim and Gaukler, Maximilian and Ulbrich, Peter},
title = {{A New Perspective on Criticality: Efficient State Abstraction and Run-Time Monitoring of Mixed-Criticality Real-Time Control Systems}},
booktitle = {35th Euromicro Conference on Real-Time Systems (ECRTS 2023)},
pages = {11:1--11:26},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-280-8},
ISSN = {1868-8969},
year = {2023},
volume = {262},
editor = {Papadopoulos, Alessandro V.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2023.11},
URN = {urn:nbn:de:0030-drops-180405},
doi = {10.4230/LIPIcs.ECRTS.2023.11},
annote = {Keywords: Real-time Control, Mixed-Criticality, Switched Systems, State Monitoring}
}