Towards Semantically Integrated Models and Tools for Cyber-Physical Systems Design. - Peter Gorm Larsen; John S. Fitzgerald; Jim Woodcock 001; René A. Nilsson; Carl Gamble; Simon Foster 001 (ISoLA (2), 2016)