@article{Stockmann2021, title={Using Architectural Runtime Verification for Offline Data Analysis}, author={Lars Stockmann and Sven Laux and Eric Bodden}, year={2021}, journal={Journal of Automotive Software Engineering}, issn={2589-2258}, url={https://www.bodden.de/pubs/sb21architectural.pdf}, doi={https://doi.org/10.2991/jase.d.210205.001} }