@INPROCEEDINGS{stockmann19architectural,
author={Lars {Stockmann} and Sven {Laux} and Eric {Bodden}},
booktitle={2019 IEEE International Conference on Software Architecture Companion (ICSA-C)},
title={Architectural Runtime Verification},
url = {https://www.bodden.de/pubs/stockmann19architectural.pdf},
year={2019},
volume={},
number={},
pages={77-84},
doi={10.1109/ICSA-C.2019.00021},
ISSN={},
month={March},}