Joseph Sifakis Scheduler Modeling Based on the Controller Synthesis Paradigm. 107-110 2002 conf/ftrtft/2002 FTRTFT http://link.springer.de/link/service/series/0558/bibs/2469/24690107.htm db/conf/ftrtft/ftrtft2002.html#Sifakis02