Szijártó, Miklós, Dietmár Grőger, and Gábor Kallós. 2001. “A Distance Model for Safety-Critical Systems”. Periodica Polytechnica Electrical Engineering 45 (2):109-18.