Marsha Chechik John D. Gannon Automatic Verification of Requirements Implementation. 1-14 1994 ISSTA http://doi.acm.org/10.1145/186258.186324 db/conf/issta/issta94.html#ChechikG94