Eine objektorientierte Methode zur Spezifikation von Telekommunikationssystemen.