Return to Article Details A Distance Model for Safety-Critical Systems Download Download PDF