Modeling of LTE DRX in RRC Idle state | IEEE Conference Publication | IEEE Xplore