Model-Based Quality Assurance of the SMB2 Protocol Documentation | IEEE Conference Publication | IEEE Xplore