@InProceedings{AltisenGoesslerSifaki00,
  author = 	 {K. Altisen and G. G{\"o\ss}ler and J. Sifakis},
  title = 	 {A Methodology for the Construction of Scheduled Systems},
  booktitle = 	 {FTRTFT 2000 proceedings},
  pages = 	 {106-120},
  year = 	 {2000},
  editor = 	 {Mathai Joseph},
  number = 	 {1926},
  series = 	 {LNCS},
  OPTmonth = 	 {9},
  publisher = {Springer-Verlag}
}