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