Analyzing protocol implementations for interoperability
Artificial intelligence: A modern approach