Multi-modeling Approach to Performance Engineering of Cyber-Physical Systems Design | IEEE Conference Publication | IEEE Xplore