1 work on record
Formal description techniques and protocol specification, testing and verification
1997