Steve M. Easterbrook, John R. Callahan: Formal methods for verification and validation of partial specifications: A case study. J. Syst. Softw. 40(3): 199-210 (1998)