Assertion-Based Design by Harry D. Foster, Adam C. Krolnik & David Lacey