@inproceedings{Andre19,
	author = {Andr{\'e}, {\'E}tienne},
	title = {Formalizing {T}ime4sys using parametric timed automata},
	longbooktitle = {Proceedings of the 13th International Symposium on Theoretical Aspects of Software Engineering ({TASE} 2019)},
	booktitle = {{TASE}},
	editor = {Méry, Dominique and Qin, Shengchao},
	location = {Guilin, China},
	confdates = {29 July - 1 August 2019},
	pages = {176--183},
	publisher = {IEEE},
	year = {2019},
	doi = {10.1109/TASE.2019.00031},
	coreRank = {C},
}