Analysis and Monitoring of Cyber-Physical Systems via Environmental Domain Knowledge & Modeling | IEEE Conference Publication | IEEE Xplore