Formalization of ISDN LAPD for Conformance Testing. - Teddy Boyce; T. Grenier; Robert L. Probert; Hasan Ural (INFOCOM, 1989)