Integration of Modeling Methods for Cyber-Physical Systems