Title: Towards verified systems
Subjects: Embedded computer systems, Evaluation, Real-time data processing