Validating JSD specifications by executing them. - Warhurst, R.; Flynn, D. (Information & Software Technology, 1990)