A tool for efficient protocol validation and testing. - Li, J. Jenny; Horgan, Joseph Robert (2000)