@InProceedings{BT02,
  author = 	 {Roberto Barbuti and Luca Tesei},
  title = 	 {A Decidable Notion of Timed non-Interference},
  booktitle = 	 {Proceedings of the 11th Concurrency, Specification \&
                  Programming Workshop (CS\&P'2002)},
  editor =       {H.-D. Burkhard and L. Czaja and G. Lindemann and
                  A. Skowron, and P. Starke},
  pages =	 {20--38},
  year =	 {2002},
  series =       {Informatik-Bericht},
  number =       {161},
  month =        {October},
  address =      {Berlin},
  publisher =	 {Humboldt-{Universit\"at} Press, Berlin}
}