Assertion-Based Design - Foster, Harry; Krolnik, Adam; Lacey, David (Springer US, 2005)