Analyzing Implicit Interactions to Identify Weak Points in Cyber-Physical System Designs | IEEE Conference Publication | IEEE Xplore