Addressing Unbounded Parallelism in Verification of Software Components | IEEE Conference Publication | IEEE Xplore