State Architecture Notation and Simulation: A Formal Technique for the Specification and Testing of Protocol Systems. - Thomas F. Piatkowski; Lap-Kin Ip; Dayun He (Comput. Networks, 1982)