(:notitlegroup:) 

   @inproceedings{gerasimou2014,
    title     = {Efficient Runtime Quantitative Verification Using Caching, Lookahead, and
                Nearly-Optimal Reconfiguration},
    booktitle = {Proceedings of the 9th International Symposium on Software Engineering for
                Adaptive and Self-Managing Systems - SEAMS 2014},
    author    = {Simos Gerasimou and Radu Calinescu and Alec Banks},
    address   = {New York, New York, USA},
    publisher = {ACM Press},
    pages     = {115--124},
    year      = {2014},
    keywords  = {continuous-time Markov chains,probabilistic model checking,quantitative
                verification,self-adaptation}}