@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}, }