Prospex : protocol specification extraction