Cyber-physical Systems: Theory, Methodology, and Applications - Nardelli (IEEE, 2022)