Jamieson M. Cobleigh George S. Avrunin Lori A. Clarke Breaking up is hard to do: An evaluation of automated assume-guarantee reasoning. 2008 17 ACM Trans. Softw. Eng. Methodol. 2 http://doi.acm.org/10.1145/1348250.1348253 db/journals/tosem/tosem17.html#CobleighAC08