@article{BT03,
  author = 	 {Roberto Barbuti and Luca Tesei},
  title = 	 {A Decidable Notion of Timed non-Interference},
  journal = 	 {Fundamenta Informaticae},
  year = 	 {2003},
  volume =	 {54},
  number =	 {2-3},
  pages =	 {177-150},
  note =         {IOS Press, Amsterdam}
}