Andreas Svendsen, Øystein Haugen, Birger Møller-Pedersen. Synthesizing Software Models: Generating Train Station Models Automatically. In Iulian Ober, Ileana Ober, editors, SDL 2011: Integrating System and Software Modeling - 15th International SDL Forum Toulouse, France, July 5-7, 2011. Revised Papers. Volume 7083 of Lecture Notes in Computer Science, pages 38-53, Springer, 2011. [doi]
Abstract is missing.