Hume: A Domain-Specific Language for Real-Time Embedded Systems.

Kevin Hammond, Greg Michaelson

Browse the full GPCE paper archive.