Cyber-Physical Topology Language: Definition, Operations, and Application | IEEE Conference Publication | IEEE Xplore