Towards a Model-Integrated Runtime Monitoring Infrastructure for Cyber-Physical Systems | IEEE Conference Publication | IEEE Xplore