Szijártó, M. et al. 2001. A Distance Model for Safety-Critical Systems. Periodica Polytechnica Electrical Engineering. 45, 2 (Jan. 2001), 109–118.