Kristensen, L. M. “Investigating Optimal Progress Measures for Verification of the WebSocket Protocol”. Norsk IKT-Konferanse for Forskning Og Utdanning, Oct. 2014, https://www.ntnu.no/ojs/index.php/nikt/article/view/5237.