Describir: Formal methods for verification and validation of partial specifications a case study / by Steve Easterbrook and John Callahan. [microform] :