Gómez, Rodolfo A framework for defining and checking contraints in requirement gathering and definition - p. 286-289 Standard No.: DIF-M5009