See also [2] for a description of the verification challenges of a fictitious (but informative) Amazon last-mile autonomous delivery vehicle.

[2] https://www.cs.york.ac.uk/ftpdir/reports/2015/YCS/496/YCS-20...