Multi-modeling approach to performance engineering of Cyber-Physical Systems design