Mahdi Niamanesh Rasool Jalili Formalizing Compatibility and Substitutability in Communication Protocols Using I/O-Constraint Automata. 49-64 2007 conf/fsen/2007 FSEN http://dx.doi.org/10.1007/978-3-540-75698-9_4 db/conf/fsen/fsen2007.html#NiamaneshJ07