Text this: Comparación de dos métodos de verificación de software : aplicación a una máquina tostadora de café