@TechReport{RR-THPN2007,
  author = 	 {Troncale, S. and Comet, J.-P. and Bernot, G.},
  title = 	 {A Temporal Logic with Event Clock Automata for 
                  Timed Hybrid {P}etri Nets},
  institution =  {IBISC, Université d'Evry-Val-d'Essonne},
  year = 	 {2007},
  OPTkey = 	 {},
  OPTtype = 	 {},
  number = 	 {IBISC-RR-2007-04},
  OPTaddress = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}