Cyber-physical systems : foundations and techniques /: foundations and techniques. (2022)