Verteilte Laufzeitverifikation Auf Eingebetteten Systemen Logiken Und Monitorkonstruktionen Fur Asynchrone Prozesse