@inproceedings{PRHSRLA16,
	author = {Parquier, Baptiste
		and Rioux, Laurent
		and Henia, Rafik
		and Soulat, Romain
		and Roux, Olivier H.
		and Lime, Didier
		and Andr{\'e}, {\'E}tienne},
	title = {Applying parametric model-checking techniques for reusing real-time critical systems},
	longbooktitle = {Proceedings of the 5th International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2016)},
	booktitle = {FTSCS},
	editor = {Artho, Cyrille and Ölveczky, Peter Csaba},
	location = {Tokyo, Japan},
	month = nov,
	pages = {129--144},
	publisher = {Springer},
	series    = {Communications in Computer and Information Science},
	volume = {694},
	year = {2016},
}