Stanley Lee Suzanne Sluizer On Executable Specifications of Finite State Protocol Errors. 458-465 1986 ICDCS db/conf/icdcs/icdcs86.html#LeeS86