1996
Verification and validation with ripple-down rules.
Int. J. Hum. Comput. Stud., 1996