Software fault detection and recovery in critical real-time systems: An approach based on loose coupling | Publicación