Stockmann, Laux, Bodden, 2019. Architectural Runtime Verification, in: . IEEE.. https://doi.org/10.1109/icsa-c.2019.00021