Assertion-Based Design - Foster, Harry D. (Springer US, 2020)