Engineering cyber-physical systems and critical infrastructures (Springer)