Deriving Coordinated Testers for Interoperability