@inproceedings{Andre_2018,
    doi = {10.1109/acsd.2018.000-2},
    url = {https://doi.org/10.1109%2Facsd.2018.000-2},
    year = {2018},
    month = {jun},
    publisher = {{IEEE}},
    author = {Etienne Andre and Didier Lime and Mathias Ramparison},
    title = {Timed Automata with Parametric Updates},
    booktitle = {2018 18th International Conference on Application of Concurrency to System Design ({ACSD})}
}

@inproceedings{Andre_2018, doi = {10.1109/acsd.2018.000-2}, url = {https://doi.org/10.1109%2Facsd.2018.000-2}, year = {2018}, month = {jun}, publisher = {{IEEE}}, author = {Etienne Andre and Didier Lime and Mathias Ramparison}, title = {Timed Automata with Parametric Updates}, booktitle = {2018 18th International Conference on Application of Concurrency to System Design ({ACSD})} }