On verifying a first-order Markovian model for the multi-threshold success/failure process for Rayleigh channel | IEEE Conference Publication | IEEE Xplore