Libros — safety-critical systems