@article{Geeraerts_2014,
    doi = {10.1007/s10703-014-0212-1},
    url = {https://doi.org/10.1007%2Fs10703-014-0212-1},
    year = {2014},
    month = {aug},
    publisher = {Springer Science and Business Media {LLC}},
    volume = {45},
    number = {3},
    pages = {330--380},
    author = {Gilles Geeraerts and Jean-Fran{\c{c}}ois Raskin and Nathalie Sznajder},
    title = {On regions and zones for event-clock automata},
    journal = {Formal Methods in System Design}
}

@article{Geeraerts_2014, doi = {10.1007/s10703-014-0212-1}, url = {https://doi.org/10.1007%2Fs10703-014-0212-1}, year = {2014}, month = {aug}, publisher = {Springer Science and Business Media {LLC}}, volume = {45}, number = {3}, pages = {330--380}, author = {Gilles Geeraerts and Jean-Fran{\c{c}}ois Raskin and Nathalie Sznajder}, title = {On regions and zones for event-clock automata}, journal = {Formal Methods in System Design} }