Majzik, István, and András Pataricza. 1995. “CONTROL FLOW CHECKING IN MULTITASKING SYSTEMS”. Periodica Polytechnica Electrical Engineering 39 (1):27-36.