Verifying the Evolution of Probability Distributions Governed by a DTMC

@article{kwon-tse2011,
   acm = {1936543},
   address = {Piscataway, NJ, USA},
   apice = {KwonTSE2011},
   author = {Kwon, YoungMin and Agha, Gul},
   doi = {10.1109/TSE.2010.80},
   issn = {0098-5589},
   journal = {IEEE Transactions on Software Engineering},
   keywords = {Probabilistic model checking, linear temporal logic, Discrete Time Markov Chain, pharmacokinetics},
   month = jan,
   number = 1,
   pages = {126--141},
   publisher = {IEEE Press},
   title = {Verifying the Evolution of Probability Distributions Governed by a DTMC},
   url = {http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=5557891},
   volume = 37,
   year = 2011
}