@article{B_rard_2016,
    doi = {10.3233/fi-2016-1313},
    url = {https://doi.org/10.3233%2Ffi-2016-1313},
    year = {2016},
    month = {mar},
    publisher = {{IOS} Press},
    volume = {143},
    number = {3-4},
    pages = {235--259},
    author = {Beatrice B{\'{e}}rard and Serge Haddad and Aleksandra Jovanovi{\'{c}} and Didier Lime},
    editor = {Parosh Aziz Abdulla and St{\'{e}}phane Demri and Alain Finkel and J{\'{e}}r{\^{o}}me Leroux and Igor Potapov},
    title = {Interrupt Timed Automata with Auxiliary Clocks and Parameters},
    journal = {Fundamenta Informaticae}
}

@article{B_rard_2016, doi = {10.3233/fi-2016-1313}, url = {https://doi.org/10.3233%2Ffi-2016-1313}, year = {2016}, month = {mar}, publisher = {{IOS} Press}, volume = {143}, number = {3-4}, pages = {235--259}, author = {Beatrice B{\'{e}}rard and Serge Haddad and Aleksandra Jovanovi{\'{c}} and Didier Lime}, editor = {Parosh Aziz Abdulla and St{\'{e}}phane Demri and Alain Finkel and J{\'{e}}r{\^{o}}me Leroux and Igor Potapov}, title = {Interrupt Timed Automata with Auxiliary Clocks and Parameters}, journal = {Fundamenta Informaticae} }