Mr-TEE: Practical Trusted Execution of Mixed-Criticality Code. - Tom Van Eyck; Hamdi Trimech; Sam Michiels; Danny Hughes 001; Majid Salehi; Hassaan Janjua; Thanh-Liem Ta (Middleware Industry, 2023)