Roberto Passerone James A. Rowson Alberto L. Sangiovanni-Vincentelli Automatic Synthesis of Interfaces Between Incompatible Protocols. 8-13 1998 DAC http://doi.acm.org/10.1145/277044.277047 db/conf/dac/dac98.html#PasseroneRS98