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

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