@InProceedings{BDST01,
  author = 	 {Roberto Barbuti and Nicoletta {De Francesco} and Antonella
                  Santone and Luca Tesei},
  title = 	 {A Notion of non-Interference for Timed Automata},
  booktitle = 	 {Proceedings of the 10th Concurrency, Specification \&
                  Programming Workshop (CS\&P'2001)},
  pages =	 {6--15},
  year =	 {2001},
  editor =	 {Ludwik Czaja},
  address =      {Warsaw},
  month =	 {October},
  publisher =	 {Zak{\l}ad Graficzny UW, Warsaw},
  organization = {Warsaw University},
  volume =       {583/2001}
}