Methodik zur formalen Spezifikation des ISO-OSI-SchichtenmodellsChristian FacchiÉpuisé4,3Prévenez-moi