Creating Assertion-Based IP - Foster, Harry D.; Krolnik, Adam C. (Springer US, 2008)