Analysis of a Session-Layer Protocol in mCRL2. - Marko C. J. D. van Eekelen; Stefan ten Hoedt; René Schreurs; Yaroslav S. Usenko (FMICS, 2007)