1. Ansaldo STS: CBTC brochure. http://goo.gl/3Kmb0 (2011)
2. Batory, D.S.: Feature models, grammars, and propositional formulas. In: Proceedings of SPLC, pp. 7–20 (2005)
3. Bitsch, F.: Process model for the development of system requirements specifications for railway systems. In: Workshop on Software Specification of Safety Relevant Transportation Control Tasks (2002)
4. Bohn, J., Damm, W., Wittke, H., Klose, J., Moik, A.: Modeling and validating train system applications using statemate and live sequence charts. In: Proceedings of the Conference on Integrated Design and Process Technology (IDPT2002), Society for Design and Process Science (2002)
5. Boyd, S., Zowghi, D., Farroukh, A.: Measuring the expressiveness of a constrained natural language: an empirical study. In: Proceedings of the 13th IEEE International Conference on Requirements Engineering, pp. 339–349 (2005)