Assertion-Based Design - Foster, Harry; Foster, Harry D.; Krolnik, Adam; Lacey, David; Krolnik, Adam C.; Lacey, David J. (Dordrecht Springer US, 2005)