Identify spatio-temporal properties of network traffic by model checking. - Zheke Yuan; Jun Niu; Xurong Lu; Fangmeng Yang (J. Supercomput., 2023)