Frank P. M. Stappers, Sven Weber, Michel A. Reniers, Suzana Andova, Istvan Nagy. Formalizing a Domain Specific Language Using SOS: An Industrial Case Study. In Anthony M. Sloane, Uwe Aßmann, editors, Software Language Engineering - 4th International Conference, SLE 2011, Braga, Portugal, July 3-4, 2011, Revised Selected Papers. Volume 6940 of Lecture Notes in Computer Science, pages 223-242, Springer, 2011. [doi]
Abstract is missing.