Breaking up is hard to do: an investigation of decomposition for assume-guarantee reasoning.

Jamieson M. Cobleigh, George S. Avrunin, Lori A. Clarke

Browse the full ISSTA paper archive.