Formale Spezifikation und Verifikation abstrakter Beschreibungen von Telekommunikationsprotokollen.