@article{AGS02,
title = {Scheduler modelling based on the controller synthesis paradigm },
author = {Altisen, Karine and Goessler, Gregor and Sifakis, Joseph},
year = {2002},
note = {special issue on control-theoritical approaches to real-time computing},
journal = {Journal of Real-Time Systems},
number = {23},
pages = {55--84},
team = {TEMPO},
}