Text this: Implementing Fault-Tolerance in Real-Time Programs by Automatic Program Transformations.