Elements (taking only the direct commmunictaionts to ETCS): By using reduced reactive behaviours elements: - [ ] Train Driver (- Interaction) - [ ] Physical Line- Signals - [ ] Balise- Signals - [ ] RBC Signals (with some intelligence of the interlocking inside) - [ ] ... - [ ] General line information - [ ] speed restrictions - [ ] route suitability - [ ] ... - [ ] By using interaction rules between the elements - [ ] Expected behaviour/ setup exchanges/ regulated with ETCS - [ ] When or where to interact on the DMI - [ ] When or where a balise signal should be related to a physical signal - [ ] Identify properties to be checked/ validated - [ ] do a validation on these properties