@Article{BDST02,
  author = 	 {Roberto Barbuti and Nicoletta {De Francesco} and Antonella
                  Santone and Luca Tesei},
  title = 	 {A Notion of non-Interference for Timed Automata},
  journal = 	 {Fundamenta Informaticae},
  year = 	 {2002},
  volume =	 {51},
  number =	 {1-2},
  pages =	 {1--11},
  note =         {IOS Press, Amsterdam}
}