@inproceedings{AS19,
	author = {Andr{\'e}, {\'E}tienne and Sun, Jun},
	title = {Parametric Timed Model Checking for Guaranteeing Timed Opacity},
	longbooktitle = {Proceedings of the 17th International Symposium on Automated Technology for Verification and Analysis ({ATVA} 2019)},
	booktitle = {{ATVA}},
	editor = {Chen, Yu-Fang and Cheng, Chih-Hong and Esparza, Javier},
	location = {Taipei, Taiwan},
	eventdate = {2019-10-28/2019-10-31},
	pages = {115--130},
	publisher = {Springer},
	series    = {\LNCS{}},
	volume = {11781},
	year = {2019},
	doi = {10.1007/978-3-030-31784-3_7},
	coreRank = {A},
}