@inproceedings{LLSDA12,
  	address =	{Paris, France},
  	author =	{Lin, Shang-Wei and Liu, Yang and Sun, Jun and Dong, Jin Song and Andr{\'e}, {\'E}tienne},
  	booktitle =	{{P}roceedings of the 18th {I}nternational {S}ymposium on {F}ormal {M}ethods ({FM}'12)},
  	editor =	{Giannakopoulou, Dimitra and M{\'e}ry, Dominique},
  	month =	aug,
	pages =	 {272-276},
  	publisher =	{Springer},
  	series =	{Lecture Notes in Computer Science},
  	title =	{Automatic Compositional Verification of Timed Systems},
	volume =	{7436},
  	year =	{2012},
}