Gregor von Bochmann Alexandre Petrenko Protocol Testing: Review of Methods and Relevance for Software Testing. 109-124 1994 ISSTA http://doi.acm.org/10.1145/186258.187153 db/conf/issta/issta94.html#BochmannP94