Formal Modeling and Automated Analysis of the LAPD Protocol. - Sol M. Shatz; Peter S. Kajka; Ardaman S. Chauhan (Comput. Networks ISDN Syst., 1989)