@misc{indiciaea135cc62c92e, title = {Resource Efficient Isolation Mechanisms in Mixed-Criticality Scheduling}, author = {Xiaozhe Gu and Arvind Easwaran and Kieu-My Phan and Insik Shin}, year = {2020}, doi = {10.1109/ecrts.2015.9}, url = {https://arxiv.org/abs/2004.02400}, note = {Source identifier: 2004.02400} }