A Domain-Oriented, Model-Based Approach for Construction and Verification of Railway Control Systems - Formal Methods and Hybrid Real-Time Systems - page 326

TRAMWAY MAIN ROUTES:
1: S20−G21 (NORTH−SOUTH)
3: S21−G23 (SOUTH−NORTH)

G20.0 G23.1

G20.1

G23.0

W102

S20

G20.3

G20.2

ROUTE 5: S22−G23

ROUTE 3
S21−G23

G24.3

S22

TRAM MAINTENANCE SITE

W100

G24.2 G24.1 G24.0

ROUTE 2:
S20−G25

ROUTE 1:

S20−G21 G25.0 G25.1

ROUTE 6:
S22−G21

ROUTE 4: S21−G25

G22.2

W118

G21.0

G22.3

S21

G22.1

G21.1

G22.0

Fig. 2. The sample network

Fig. 3. Interlocking tables