• Principles of Protocol Engineering and Conformance Testing

[Solution manual and open source tools from authors homepage]

Author:  Behcet Sarikaya
Publisher:  Ellis Horwood Ltd,  Released June 1993
ISBN: 9993175773

Formal methods

• Using Formal Description Techniques -An Introduction to Estelle, LOTOS and SDL

[Full text available here]

Author:  Kenneth J. Turner (Editor)
Publisher: John Wiley & Sons; (January 1993)
ASIN: 0471934550

Model checkers

• The Spin Model Checker: Primer and Reference Manual

Addison-Wesley, ISBN 0-321-22862-6, 608 pgs, cloth-bound.
The book contains a complete set of manual pages for every language construct in Promela, and explain every Spin verification option.

• Design and Validation of Computer Protocols

[Full text available here]

Prentice Hall, New Jersey, 1991, ISBN 0-13-539925-4.
The first book (now outdated) describing Spin (Nov. 1990).A paperback edition of the book is still available from www.amazon.com.