Mohammad Zulkernine Rudolph E. Seviora Assume-Guarantee Algorithms for Automatic Detection of Software Failures. 89-108 2002 conf/ifm/2002 IFM http://link.springer.de/link/service/series/0558/bibs/2335/23350089.htm db/conf/ifm/ifm2002.html#ZulkernineS02