Majzik, I. and Pataricza, A. (1995) “CONTROL FLOW CHECKING IN MULTITASKING SYSTEMS”, Periodica Polytechnica Electrical Engineering, 39(1), pp. 27–36.