Libros — fault-tolerant architecture