EECI 2020: Behaviour Specifications of Autonomous Vehicles