Kristensen, L.M. 2014. Investigating Optimal Progress Measures for Verification of the WebSocket Protocol. Norsk IKT-konferanse for forskning og utdanning. (Oct. 2014).