Assuring Fully Autonomous Vehicles Safety by Design: The Autonomous Vehicle Control (AVC) Module Strategy
basic concepts and taxonomy of dependable and secure computing .