Towards a Model-Integrated Runtime Monitoring Infrastructure for Cyber-Physical Systems | Publicación