Performance-Verifikation von Netzwerkarchitekturen eingebetteter Systeme unter Berücksichtigung von LaufzeitvariabilitätMartin ManderscheidÉpuisé4,3Prévenez-moi