@inproceedings{Roz19,
    author = {Kristin Yvonne Rozier},
    title = {From Simulation to Runtime Verification and Back: Connecting Single-Run Verification Techniques},
    booktitle = {{Proceedings of the Spring Simulation Conference (SpringSim)}},
    publisher = {Society for Modeling & Simulation International},
    address = {Tucson, AZ, USA},
    articleno = {Article 27},
    doi = {10.23919/SpringSim.2019.8732915},
    url = {https://dl.acm.org/doi/10.5555/3338027.3338054},
    month = {April},
    year = {2019},
    pages = {1--10},
}