Los dos módulos funcionaban en lockstep, pero los papeles se alternan para detectar fallas latentes.