Formal methods for protocol testing: a detailed study (1989)

by D Sidhu, T-K Leung
Venue:IEEE Transactions on Software Engineering