An Esterel processor with full preemption support and its worst case reaction time analysis.

Xin Li, Jan Lukoschus, Marian Boldt, Michael Harder, Reinhard von Hanxleden

Browse the full CASES paper archive.