Rami R. Razouk Gerald Estrin Modeling and Verification of Communication Protocols in SARA: The X.21 Interface. 1038-1052 1980 29 IEEE Trans. Computers 12 db/journals/tc/tc29.html#RazoukE80