Castro, Pablo Darwin : Una herramienta para verificar diseņos arquitecturales - p. 258-262 Standard No.: DIF004398