Integrated tool chain for model-based design of Cyber-Physical Systems: The INTO-CPS project | IEEE Conference Publication | IEEE Xplore