Assertion-Based Design - Foster, Harry (Springer Science + Business Media, Inc., 2005)