Coverage Probability Analysis for Uplink/Downlink Decoupled Access in Heterogeneous Cellular Networks | Synapse