@inproceedings{AGP+99,
title = {A Framework for Scheduler Synthesis },
author = {Altisen, Karine and Goessler, Gregor and Pnueli, Amir and Sifakis, Joseph and Tripakis, Stavros and Yovine, Sergio},
month = {December},
year = {1999},
booktitle = {RTSS'99},
address = {USA},
team = {TEMPO},
}
