Modeling of coupled collision and congestion in finite source wireless access systems | IEEE Conference Publication | IEEE Xplore