A logic for reasoning about time and reliability

@article{pctl-fac6,
   apice = {PctlFac6},
   author = {Hansson, Hans and Jonsson, Bengt},
   doi = {10.1007/BF01211866},
   isbn = {1433-299X},
   journal = {Formal Aspects of Computing},
   month = sep,
   number = 5,
   pages = {512--535},
   title = {A logic for reasoning about time and reliability},
   url = {https://link.springer.com/10.1007/BF01211866},
   volume = 6,
   year = 1994
}