Formal Methods for Protocol Testing: A Detailed Study.

Deepinder P. SidhuTing-Kau Leung
Published in: IEEE Trans. Software Eng. (1989)