Schedulability Analysis Using Two Clocks.

Elena Fersman, Leonid Mokrushin, Paul Pettersson, Wang Yi

Browse the full TACAS paper archive.