Synthesis of Runtime Monitors for Safe and Secure Industrial Systems | IEEE Conference Publication | IEEE Xplore