Cyber-Physical Systems Design: Formal Foundations, Methods and Integrated Tool Chains | IEEE Conference Publication | IEEE Xplore