Sagar Chaki Edmund M. Clarke Nishant Sinha Prasanna Thati Automated Assume-Guarantee Reasoning for Simulation Conformance. 534-547 2005 conf/cav/2005 CAV http://dx.doi.org/10.1007/11513988_51 db/conf/cav/cav2005.html#ChakiCST05