Title: Formal Design and Verification of a Reliable Computing Platform for Real-Time Control. Phase 1