@InProceedings{ky06communicating,
  author = 	 {Pavel Krcal and Wang Yi},
  title = 	 {Communicating Timed Automata: The More Synchronous, the More Difficult to Verify},
  booktitle = {Proc. of Computer Aided Verification (CAV 2006)},
  OPTpages = 	 {243--257},
  year = 	 {2006},
  OPTvolume = 	 {4144},
  series = 	 {LNCS},
  publisher = {Springer--Verlag},
  editor = {Thomas Ball and Robert Jones}, 
}