Distefano, S., F. Longo, and K. S. Trivedi,  "Investigating dynamic reliability and availability through state-space models",  Computers and Mathematics with Applications - Elsevier Ltd, vol. 64, no. 12, pp. 3701-3716, 2012.