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