Implementing fault-tolerance in real-time systems by automatic program transformations