Loading: Increasing Trust: Engineering Autonomous Vehicles that Are Safe and Secure