Compositional temporal analysis model for incremental hard real-time system design.

Joost P. H. M. Hausmans, Stefan J. Geuns, Maarten Wiggers, Marco Bekooij

Browse the full EMSOFT paper archive.