1. Abrial, J., Hoare, A.: The B-Book: Assigning Programs to Meanings. Cambridge University Press, Cambridge (2005)
2. Athavale, J., Baldovin, A., Paulitsch, M.: Trends and functional safety certification strategies for advanced railway automation systems. In: 2020 IEEE International Reliability Physics Symposium (IRPS) (2020)
3. Bešinović, N., et al.: Artificial intelligence in railway transport: taxonomy, regulations, and applications. IEEE Trans. Intell. Transp. Syst. 23(9), 14011–14024 (2022)
4. Bishop, C.M.: Pattern Recognition and Machine Learning, vol. 2. Springer, Heidelberg (2006)
5. Braband, J., et al.: Risikoakzeptanzkriterien für das automatisierte fahren auf der schiene. Technical report, Deutsches Zentrum für Schienenverkehrsforschung beim Eisenbahn-Bundesamt (DZSF) (2023)