@article{R_nkk__2003,
    doi = {10.1016/s0304-3975(02)00547-9},
    url = {https://doi.org/10.1016%2Fs0304-3975%2802%2900547-9},
    year = {2003},
    month = {jan},
    publisher = {Elsevier {BV}},
    volume = {290},
    number = {1},
    pages = {937--973},
    author = {Mauno Rönkkö and Anders P. Ravn and Kaisa Sere},
    title = {Hybrid action systems},
    journal = {Theoretical Computer Science}
}

@article{R_nkk__2003, doi = {10.1016/s0304-3975(02)00547-9}, url = {https://doi.org/10.1016%2Fs0304-3975%2802%2900547-9}, year = {2003}, month = {jan}, publisher = {Elsevier {BV}}, volume = {290}, number = {1}, pages = {937--973}, author = {Mauno Rönkkö and Anders P. Ravn and Kaisa Sere}, title = {Hybrid action systems}, journal = {Theoretical Computer Science} }