Performance-Verifikation von Netzwerkarchitekturen eingebetteter Systeme unter Berücksichtigung von LaufzeitvariabilitätMartin ManderscheidEsauritoAvvisami