SMS dit: Fault-Tolerant Design and Control of Automated Vehicles and Processes