@misc{indiciae6950ec2fdf88,
  title = {Performability analysis using semi-Markov reward processes},
  author = {Ciardo, Gianfranco and Marie, Raymond A. and Sericola, Bruno and Trivedi, Kishor S.},
  year = {1990},
  url = {https://ntrs.nasa.gov/citations/19910027766},
  note = {Source identifier: 19910027766}
}