Open Platform for the Engineering of Embedded Systems
Automatic Software Generation for Real-Time Embedded Systems.