"An embedded language for programming protocol stacks in embedded systems."

Yan Wang, Verónica Gaspes (2011)
a service of Schloss Dagstuhl - Leibniz Center for Informatics