@misc{indiciaeb1f2d0275545,
  title = {Metrics for Labeled Markov Systems},
  author = {Desharnais, Josee and Jagadeesan, Radha and Gupta, Vineet and Panangaden, Prakash},
  year = {1999},
  url = {https://ntrs.nasa.gov/citations/20000082012},
  note = {Source identifier: 20000082012}
}