Mixed-Criticality with Unsafe Operating Systems.

Michael Peter, Radu Morus, George A. Ciusleanu, Kai Lampka

Browse the full SAFECOMP paper archive.