Szijártó, M., Grőger, D., Kallós, G. “A Distance Model for Safety-Critical Systems”, Periodica Polytechnica Electrical Engineering, 45(2), pp. 109–118, 2001.