A Functional Architecture for Autonomous Driving
Cyber-physical system design contracts