Verteilte Laufzeitverifikation auf eingebetteten Systemen: Logiken und Monitorkonstruktionen für asynchrone Prozesse | DealShopping Deutschland