@inproceedings{kejstova17:from.model,
 address = {Cham},
 author = {Katarína Kejstová and Petr Ročkai and Jiří Barnat},
 booktitle = {Runtime Verification - 17th International Conference, {RV} 2017},
 doi = {10.1007/978-3-319-67531-2_14},
 editor = {Lahiri, Shuvendu and Reger, Giles},
 isbn = {978-3-319-67531-2},
 note = {https://divine.fi.muni.cz/2017/passthrough},
 pages = {225--240},
 publisher = {Springer International Publishing},
 title = {{From Model Checking to Runtime Verification and Back}},
 url = {https://link.springer.com/chapter/10.1007/978-3-319-67531-2_14},
 year = {2017}
}