Title: Formal design and verification of a reliable computing platform for real-time control
Subjects: Verification, Computer software