J. J. A. Keiren and M. D. Klabbers, “Modelling and verifying IEEE Std 11073-20601 session setup using mCRL2”, ECEASST, vol. 53, Jan. 2013.