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