Amit K. Chopra Munindar P. Singh Producing Compliant Interactions: Conformance, Coverage, and Interoperability. 1-15 2006 conf/dalt/2006 DALT http://dx.doi.org/10.1007/11961536_1 db/conf/dalt/dalt2006.html#ChopraS06