Architecture and language support for fault-tolerance in complex real-time systems | Publicación