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