A. Basu, M. Hayden, G. Morrisett, and T. von Eicken. "A language-based approach to protocol construction"

[DSL 1997] (1997) Kamin, S. (editor) DSL 97 First ACM SIGPLAN Workshop on Domain-Specific Lanugages, Paris, France, January 1997  

Languages mentioned PROMELA ++ {1998}