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