Geoff Barrett Model Checking in Practice: The T9000 Virtual Channel Processor. 69-78 http://www.computer.org/tse/ts1995/e0069abs.htm 1995 21 IEEE Trans. Software Eng. 2 db/journals/tse/tse21.html#Barrett95