Foundations

Theoretical aspects of cyber-physical systems.