2 works on record
Formal description techniques and protocol specification, testing and verification
1997
Protocol Test Systems