Monitorok automatikus szintézise elosztott beágyazott rendszerek futásidőbeli verifikációjához