Formal specifications and reliability: an experimental study. - Amrit L. Goel; Swarupa N. Sahoo (ISSRE, 1991)