Cyber Physical Systems: Design Challenges | IEEE Conference Publication | IEEE Xplore