Rigorous Analytical Model of Saturated Throughput for the IEEE 802.11p EDCA. - Shintaro Ikuma; Zhetao Li; Tingrui Pei; Young-June Choi; Hiroo Sekiya (IEICE Trans. Commun., 2019)