Verifying Cyber-Physical System Behavior in the Context of Cyber-Physical System-Networks | IEEE Conference Publication | IEEE Xplore