Keiren, J. J. A., & Klabbers, M. D. (2013). Modelling and verifying IEEE Std 11073-20601 session setup using mCRL2. Electronic Communications of the EASST, 53. https://doi.org/10.14279/tuj.eceasst.53.793