Verteilte Laufzeitverifikation auf eingebetteten Systemen Logiken und Monitorkonstruktionen für asynchrone Prozesse - Schmitz, Malte (Springer Fachmedien Wiesbaden, 2016)