Formalizing a Domain Specific Language Using SOS: An Industrial Case Study.

Frank P. M. Stappers, Sven Weber, Michel A. Reniers, Suzana Andova, Istvan Nagy

Browse the full SLE paper archive.