Formal Hardware Verification - nidottu, Englanti, 1997