Incremental Prototyping Technology for Embedded Realtime Systems
An
Esprit
project.