Design automation of cyber-physical systems (2019)