In search of books concerning protocols I found the following ones:
- Robin Sharp: “Principles of protocol design” (2008, Springer)
- Hartmut König: “Protocol engineering” (2012, Springer)
Both books describe general functions of protocols focussing especially communication protocols. Are there some other books concerning protocols and also focussing modeling and testing? Robert Binder discusses the topic of testing in his standard work “Testing object-oriented systems” in an early stage.