Title: Simultane überwachung des steuerflusses in programmierbaren systemen