Title: Verteilte Laufzeitverifikation auf eingebetteten Systemen