1 Description of the Model We present a model of headway control in the railway domain, as depicted in Figure 1. In this case study, continuous distributions are used. The abstraction of a guarded command with a continuous probability distribution into one with a discrete probability distribution is described in a recent publication [1]. A more extensive description of the setting plus a closel...