Mixed-Trust Computing for Real-Time Systems | IEEE Conference Publication | IEEE Xplore