@inproceedings{ALNS15,
	author = {Andr{\'e}, {\'E}tienne and Lipari, Giuseppe and Nguyen, Hoang Gia and Sun, Youcheng},
	title = {Reachability Preservation Based Parameter Synthesis for Timed Automata},
	booktitle = {Proceedings of the 7th NASA Formal Methods Symposium (NFM'15)},
	doi = {10.1007/978-3-319-17524-9_5},
	editor = {Havelund, Klaus and Holzmann, Gerard and Joshi, Rajeev},
	location = {Pasadena, CA, USA},
	month = apr,
	publisher = {Springer},
	pages = {50--65},
	volume = {9058},
	series    = {Lecture Notes in Computer Science},
	year = {2015},
}