Assertion-based design - Foster, Harry, 1956-