@inproceedings{ACN15,
	author = {Andr{\'e}, {\'E}tienne and Coti, Camille and Nguyen, Hoang Gia},
	title = {Enhanced Distributed Behavioral Cartography of Parametric Timed Automata},
	longbooktitle = {Proceedings of the 17th International Conference on Formal Engineering Methods ({ICFEM} 2015)},
	booktitle = {{ICFEM}},
  	doi       = {10.1007/978-3-319-25423-4_21},
    	editor = {Butler, Michael and Conchon, Sylvain and Zaïdi, Fatiha},
  	isbn      = {978-3-319-25422-7},
  	location = {Paris, France},
	month = nov,
	pages     = {319--335},
	publisher = {Springer},
	series    = {Lecture Notes in Computer Science},
	volume    = {9407},
	year = {2015},
}