Gravar-mail: Application-level fault tolerance in real-time embedded systems