Programs with ironclad timing guarantees: work-in-progress.

Marten Lohstroh, Martin Schoeberl, Mathieu Jan, Edward Wang, Edward A. Lee

Browse the full EMSOFT paper archive.