1. The autonomous train program. https://railenium.eu/train-autonome/
2. CSM-RA: Guide for the application of the commission regulation on the adoption of Common Safety Method on Risk Evaluation and assessment. European Railway Agency (2017)
3. En50126-1: Railway Applications - The specification and demonstration of reliability, availability, maintainability and safety (RAMS) - Part 1: Generic RAMS Process (2017)
4. En50126-2: Railway Applications - The specification and demonstration of reliability, availability, maintainability and safety (RAMS) - Part 2: Systems approach to safety (2017)
5. Abrial, J.R.: Event model decomposition. Technical report/ETH. Department of Computer Science 626 (2009)