[1]
Schnieder, E.; Wu, D.; Krause, J. (2013). Model-based Test Generation Techniques Verifying the On-board Module of a Satellite-based Train Control System Model, ICIRT 2013 - IEEE International Conference on Intelligent Rail Transportation, 30.08.-01.09.2013, IEEE, Beijing, 274–279. doi:10.1109/ICIRT.2013.6696307