@InProceedings{BornotGoesslerSifakis2000,
  author={S. Bornot and  G. G{\"o\ss}ler and  J. Sifakis},
  title={On the Construction of Live Timed Systems},
  booktitle={TACAS 2000},
  volume={1785},
  editor={Susanne Graf and Michael Schwartzbach},
  year={2000},
  series={LNCS},
  pages={109-126},
  publisher= {Springer-Verlag}
}