@article{21595,
  author       = {{Stockmann, Lars and Laux, Sven and Bodden, Eric}},
  issn         = {{2589-2258}},
  journal      = {{Journal of Automotive Software Engineering}},
  title        = {{{Using Architectural Runtime Verification for Offline Data Analysis}}},
  doi          = {{10.2991/jase.d.210205.001}},
  year         = {{2021}},
}