Model-based specification of timing requirements.

Christian Buckl, Irina Gaponova, Michael Geisinger, Alois C. Knoll, Edward A. Lee

Browse the full EMSOFT paper archive.