@INPROCEEDINGS{aiaFMICS2007,
author = {Marko van Eekelen and Stefan ten Hoedt and Ren\'e Schreurs and Yaroslav S. Usenko},
title = {Analysis of a Session-Layer Protocol in mCRL2. Verification of a Real-Life Industrial Implementation},
booktitle = {Proc. 12th Int'l Workshop on Formal Methods for Industrial Critical Systems (FMICS 2007)},
editor = {P. Merino and S. Leue},
publisher = {Springer},
series = {Lecture Notes Computer Science},
volume = {4916},
pages = {182-199},
year = {2008},
}