Rüdiger Grammes, Reinhard Gotzhein. SDL Profiles - Formal Semantics and Tool Support. In Matthew B. Dwyer, Antónia Lopes, editors, Fundamental Approaches to Software Engineering, 10th International Conference, FASE 2007, Held as Part of the Joint European Conferences, on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007, Proceedings. Volume 4422 of Lecture Notes in Computer Science, pages 200-214, Springer, 2007. [doi]