Analyzing protocol implementations for interoperability
Mace: language support for building distributed systems