Title: Formal Design and Verification of a Reliable Computing Platform for Real-Time Control (phase 3 Results)