Tema 42. Proceso del software confiable