Analyzing Schedulability of Astral Specifications using Extended Timed Automata.

Klaas Brink, Jan van Katwijk, Ronald F. Lutje Spelberg, W. J. Toetenel

Browse the full EuroPar paper archive.