Heterogeneous Runtime Monitoring for Real-Time Systems with art2kitekt | Publicación