Quotient for Assume-Guarantee Contracts | IEEE Conference Publication | IEEE Xplore