Bayesian prediction of the total time on test using doubly censored rayleigh data | Synapse