Compositional verification of an ATM switch module using interface recognizer/suppliers (IRS) | IEEE Conference Publication | IEEE Xplore