Marc Phalippou Functional Specification for an ISDN Switching System: an Experience using Estelle. 15-24 1989 conf/pstv/1989 PSTV db/conf/pstv/pstv1989.html#Phalippou89