Kiberfizikai rendszerek gráfmintaillesztés alapú elosztott ellenőrzése futási időben