EECI 2020: Behaviour Specifications of Autonomous Vehicles: Difference between revisions