Johannes Kloos, Robert Eschbach. Generating System Models for a Highly Configurable Train Control System Using a Domain-Specific Language: A Case Study. In Second International Conference on Software Testing Verification and Validation, ICST 2009, Denver, Colorado, USA, April 1-4, 2009, Workshops Proceedings. pages 39-47, IEEE Computer Society, 2009. [doi]
Abstract is missing.