Formal Modeling and Verification of EDCA Based on Probabilistic Model Checking. - Yixuan Zan; Xiaojuan Li; Yong Guan; Rui Wang 024; Jie Zhang 074 (HPCC/DSS/SmartCity, 2020)