Cyber-Physical Systems: Foundations and Techniques (IEEE, 2022)