Towards a Science of Cyber-Physical Systems Design | IEEE Conference Publication | IEEE Xplore