Karin Avnit Vijay D'Silva Arcot Sowmya S. Ramesh Sri Parameswaran A Formal Approach To The Protocol Converter Problem. 294-299 2008 DATE http://dx.doi.org/10.1109/DATE.2008.4484695 conf/date/2008 db/conf/date/date2008.html#AvnitDSRP08