Cyber-physical Systems: Theory, Methodology, and Applications | IEEE eBooks | IEEE Xplore