Keiren, J. J. A.; Klabbers, M. D. Modelling and Verifying IEEE Std 11073-20601 Session Setup Using MCRL2. ECEASST 2013, 53.