Utkin, L., Zatenko, S., & Coolen, F. (2010). New interval Bayesian models for software reliability based on non-homogeneous Poisson processes. Automation and Remote Control, 71(5), 935-944. https://doi.org/10.1134/s0005117910050218