Alan Burns 0001, Cliff B. Jones. An Approach to Formally Specifying the Behaviour of Mixed-Criticality Systems. In Martina Maggio, editor, 34th Euromicro Conference on Real-Time Systems, ECRTS 2022, July 5-8, 2022, Modena, Italy. Volume 231 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022. [doi]
Abstract is missing.