1. Alan Burns and Robert Davis. 2013. Mixed criticality systems-a review. Department of Computer Science, University of York, Tech. Rep, 1–69.
2. Guanyu Chen, Pan Lv, Hong Li, and Guoqing Yang. 2021. Robo-sweeper: Bionics based unmanned sweeper platform. In 2021 IEEE 23rd Int Conf on High Performance Computing & Communications; 7th Int Conf on Data Science & Systems; 19th Int Conf on Smart City; 7th Int Conf on Dependability in Sensor, Cloud & Big Data Systems & Application (HPCC/DSS/SmartCity/DependSys). 1381–1388.
3. Virtualizing mixed-criticality systems: A survey on industrial trends and issues
4. QuartzV: Bringing Quality of Time to Virtual Machines
5. From L3 to seL4 what have we learnt in 20 years of L4 microkernels?