Formal specification and verification of TCP extended with the Window Scale Option. - Lars Lockefeer; David M. Williams; Wan J. Fokkink (Sci. Comput. Program., 2016)