@inproceedings{AGS00,
title = {A methodology for the construction of scheduled systems },
author = {Altisen, Karine and Goessler, Gregor and Sifakis, Joseph},
year = {2000},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems 2000 (FTRTFT'00)},
team = {TEMPO},
}
