Dieses Dokument ist ein Beitrag auf dem Gebiet der Validierung und Verifizierung der Kommunikation in Echtzeit-Systemen, mit Schwerpunkt auf parametrische Erreichbarkeit Analyse der Systeme ...