Böhm, WolfgangJunker, MaximilianAßmann, UweDemuth, BirgitSpitta, ThorstenPüschel, GeorgKaiser, Ronny2017-06-302017-06-302015978-3-88579-633-6Siemens AG Rail Automation, fortiss GmbH, and the chair for Software and System Engineering at Technische Universität München set up a transfer project to apply the SPES modeling framework (SPES MF) to the PlatforenSiemens rail - industrial case study: model-based development of a train guardmt functionText/Conference Paper1617-5468