to model the on-board subsystem of a satellite-based train control system on the basis of scenarios. The Unified Modeling Language sequence diagrams, which are easily understood by customers, ...