A Reliable, Safe, and Secure Run-Time Platform for Cyber Physical Systems | IEEE Conference Publication | IEEE Xplore