Purandar Bhaduri S. Ramesh Interface synthesis and protocol conversion. 205-224 2008 20 Formal Asp. Comput. 2 http://dx.doi.org/10.1007/s00165-007-0045-4 db/journals/fac/fac20.html#BhaduriR08