I. Majzik and A. Pataricza, “CONTROL FLOW CHECKING IN MULTITASKING SYSTEMS”, Period. Polytech. Elec. Eng., vol. 39, no. 1, pp. 27–36, Jan. 1995.