Hume: A Domain-Specific Language for Real-Time Embedded Systems
Correctness by construction: Better can also be cheaper