M. Szijártó, D. Grőger, and G. Kallós, “A Distance Model for Safety-Critical Systems”, Period. Polytech. Elec. Eng., vol. 45, no. 2, pp. 109–118, Jan. 2001.