Model-Based Quality Assurance of Windows Protocol Documentation. - Wolfgang Grieskamp; Nicolas Kicillof; Dave MacDonald; Alok Nandan; Keith Stobie; Fred L. Wurden (ICST, 2008)

Model-Based Quality Assurance of the SMB2 Protocol Documentation. - Wolfgang Grieskamp; Nicolas Kicillof; Dave MacDonald; Alok Nandan; Keith Stobie; Fred L. Wurden; Danpo Zhang (QSIC, 2008)