@incollection{Baldor_2013,
    doi = {10.1007/978-3-642-35632-2_24},
    url = {https://doi.org/10.1007%2F978-3-642-35632-2_24},
    year = {2013},
    publisher = {Springer Berlin Heidelberg},
    pages = {245--259},
    author = {Kevin Baldor and Jianwei Niu},
    title = {Monitoring Dense-Time, Continuous-Semantics, Metric Temporal Logic},
    booktitle = {Runtime Verification}
}

@incollection{Baldor_2013, doi = {10.1007/978-3-642-35632-2_24}, url = {https://doi.org/10.1007%2F978-3-642-35632-2_24}, year = {2013}, publisher = {Springer Berlin Heidelberg}, pages = {245--259}, author = {Kevin Baldor and Jianwei Niu}, title = {Monitoring Dense-Time, Continuous-Semantics, Metric Temporal Logic}, booktitle = {Runtime Verification} }