Pap, Z. “METHODS OF CHECKING AND USING SAFETY CRITERIA”, Periodica Polytechnica Electrical Engineering, 46(1-2), pp. 75–98, 2002.