Elena Fersman Leonid Mokrushin Paul Pettersson Wang Yi Schedulability Analysis Using Two Clocks. 224-239 2003 conf/tacas/2003 TACAS http://link.springer.de/link/service/series/0558/bibs/2619/26190224.htm db/conf/tacas/tacas2003.html#FersmanMPY03