Cyber-physical systems : advances in design & modelling (2020)