Cyber-Physical Systems: Modelling and Industrial Application