Cyber-Physical Systems A Model-Bases Approach