Title: Zur leistungsberücksichtigenden Spezifikation und Verifikation von Kommunikationssystemen