McCluskey, TL, Porteous, JM, Bryant, CH, West, MM, "The validation of formal specifications of requirements", , 1996