1. Jacome, M.F., Peixoto, H.P.: A survey of digital design reuse. IEEE Design and Test of Computers 18(3) (2001)
2. Szyperski, C.: Component Software - Beyond Object-Oriented Programming. Addison-Wesley, Reading (2002)
3. Maliniak, D.: Assertion-based verification smooths the road to IP reuse. Electronic Design (September 2002)
4. IEEE: IEEE Property Specification Language (PSL) (IEEE Std 1850-2005). IEEE (2005)
5. Clarke, E.M., Grumberg, O., Peled, D.: Model checking. MIT Press, Cambridge (1999)