Cyber-Physical Systems: Advances in Design & Modelling