K
[KNS+02] Marta Kwiatkowska, Gethin Norman, Roberto Segala, and Jeremy Sproston. Automatic verification of real-time systems with discrete probability distributions. Theoretical Computer Science 282(1):101-150. Elsevier, June 2002. 
@article{tcs282(1)-KNSS,
  author =              {Kwiatkowska, Marta and Norman, Gethin and Segala,
                         Roberto and Sproston, Jeremy},
  title =               {Automatic verification of real-time systems with
                         discrete probability distributions},
  publisher =           {Elsevier},
  journal =             {Theoretical Computer Science},
  volume =              {282},
  number =              {1},
  pages =               {101-150},
  year =                {2002},
  month =               jun,
  doi =                 {10.1016/S0304-3975(01)00046-9},
}
List of authors