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