L. M. Kristensen, “Investigating Optimal Progress Measures for Verification of the WebSocket Protocol”, NIKT, Oct. 2014.