Theoretical aspects of cyber-physical systems.