Wolfgang Grieskamp Nicolas Kicillof Dave MacDonald Alok Nandan Keith Stobie Fred L. Wurden Danpo Zhang Model-Based Quality Assurance of the SMB2 Protocol Documentation. 235-240 2008 QSIC http://doi.ieeecomputersociety.org/10.1109/QSIC.2008.34 conf/qsic/2008 db/conf/qsic/qsic2008.html#GrieskampKMNSWZ08