When Do We (Not) Need Complex Assume-Guarantee Rules? | IEEE Conference Publication | IEEE Xplore