Chakiand Gurfinkel. Automated Assume-guarantee Reasoning for Omega-regular Systems and Specifications. Springer Nature, Mar. 2011, doi:10.1007/s11334-011-0148-1.