@misc{LangendoerferLehmann2011, author = {Peter Langend{\"o}rfer and Martin Lehmann}, title = {Implementation Independent Profiling of SDL Specifications}, institution = {FG Systeme}, type = {articlenr}, year = {2011}, }