Kent Inge Fagerland Simonsen, Lars Michael Kristensen: Implementing the WebSocket Protocol Based on Formal Modelling and Automated Code Generation. DAIS 2014: 104-118