Fig. 6From: A spatio-temporal specification language and its completeness & decidabilityThe safety braking model of automatic train protectionBack to article page