@article{ALR21,
	author    = {Andr{\'e}, {\'E}tienne and
				Lime, Didier and
				Ramparison, Mathias},
	title     = {Parametric updates in parametric timed automata},
	journal   = {Logical Methods in Computer Science},
	year      = {2021},
	volume    = {17},
	number     = {2},
	day       = {10},
	month     = may,
	page	  = {13:1-13:67},
	keywords = {journal},
	doi			= {0.23638/LMCS-17(2:13)2021},
	URL = {https://lmcs.episciences.org/7470/},
}