@misc {IOPORT.70389410,
    author       = {Stapleton, Warren and Tobin, Paul},
    title        = {Verification problems in reusing internal design components},
    howpublished = {DAC, 209-211 (2009).},
    year         = {2009},
    doi          = {10.1145/1629911.1629969},
    identifier   = {70389410},
}