Z. Pap, “METHODS OF CHECKING AND USING SAFETY CRITERIA”, Period. Polytech. Elec. Eng., vol. 46, no. 1-2, pp. 75–98, Jan. 2002.