@misc(MC:PRISM:HomePage,
 title        = {PRISM Home Page},
 note         = {\url{http://www.prismmodelchecker.org}},
)
@article(num-anal-ictmc,
 author       = {M. Arns and P. Buchholz and A. Panchenko},
 year         = {2010},
 title        = {On the Numerical Analysis of Inhomogeneous Continuous-Time Markov Chains},
 journal      = {{INFORMS} Journal on Computing},
 volume       = {22},
 number       = {3},
 pages        = {416--432},
 doi          = {10.1287/ijoc.1090.0357},
)
@inproceedings(MC:Aziz:1996:VerifyingCTMC,
 author       = {A. Aziz and V. Singhal and F. Balarin and R. Brayton and Sangiovanni-Vincentelli, A.},
 year         = {1996},
 title        = {Verifying Continuous Time {M}arkov Chains},
 booktitle    = {Proceedings of CAV96},
 doi          = {10.1007/3-540-61474-5\_75},
)
@article(BaierHHK03,
 author       = {C. Baier and B.R. Haverkort and H. Hermanns and J.P. Katoen},
 year         = {2003},
 title        = {Model-Checking Algorithms for Continuous-Time Markov Chains},
 journal      = {{IEEE} Trans. Software Eng.},
 volume       = {29},
 number       = {6},
 pages        = {524--541},
 doi          = {10.1109/TSE.2003.1205180},
)
@article(PA:LeBoudec:2008:MeanFieldContinuousTime,
 author       = {M. Bena\"{i}m and J. Le Boudec},
 year         = {2008},
 title        = {A Class of Mean Field Interaction Models for Computer and Communication Systems},
 journal      = {Performance Evaluation},
 volume       = {65},
 number       = {11-12},
 pages        = {823--838},
 doi          = {10.1016/j.peva.2008.03.005},
)
@article(STOC:BenaimLeBoudec:2011:stationaryConvergence,
 author       = {Bena\"{\i}m, M. and J.Y. Le Boudec},
 year         = {2011},
 title        = {On Mean Field Convergence and Stationary Regime},
 journal      = {CoRR},
 volume       = {abs/1111.5710},
 url          = {http://arxiv.org/abs/1111.5710},
)
@book(billingsley1979,
 author       = {P. Billingsley},
 year         = {1979},
 title        = {Probability and Measure},
 publisher    = {John Wiley and Sons},
)
@book(billingsley1999,
 author       = {P. Billingsley},
 year         = {1999},
 title        = {Convergence of Probability Measures, 2nd Edition},
 publisher    = {Wiley},
 doi          = {10.1002/9780470316962},
)
@inproceedings(My:QAPL:masterEquationSCCP:2008,
 author       = {L. Bortolussi},
 year         = {2008},
 title        = {On the Approximation of Stochastic Concurrent Constraint Programming by Master Equation},
 booktitle    = {Proceedings of QAPL},
 pages        = {163--180},
 doi          = {10.1016/j.entcs.2008.11.025},
)
@inproceedings(QAPL2012,
 author       = {L. Bortolussi and V. Galpin and J. Hillston},
 year         = {2012},
 title        = {Hybrid performance modelling of opportunistic networks},
 booktitle    = {Proceedings of QAPL 2012},
 series       = {EPTCS},
 volume       = {85},
 pages        = {106{\textendash}121},
 doi          = {10.4204/EPTCS.85.8},
)
@inproceedings(My:CONCUR2012:FMC,
 author       = {L. Bortolussi and J. Hillston},
 year         = {2012},
 title        = {Fluid Model Checking},
 booktitle    = {Proceedings of CONCUR 2012},
 doi          = {10.1007/978-3-642-32940-1\_24},
)
@article(fluidmcic,
 author       = {L. Bortolussi and J. Hillston},
 year         = {2015},
 title        = {Model Checking Single Agent Behaviour by Fluid Approximation},
 journal      = {Information and Computation},
 volume       = {242},
 pages        = {183--226},
 doi          = {10.1016/j.ic.2015.03.002},
)
@article(tutorial,
 author       = {L. Bortolussi and J. Hillston and D. Latella and M. Massink},
 year         = {2013},
 title        = {Continuous Approximation of Collective Systems Behaviour: a Tutorial},
 journal      = {Perf. Eval.},
 volume       = {70},
 number       = {5},
 pages        = {317--349},
 doi          = {10.1016/j.peva.2013.01.001},
)
@inproceedings(luca_roberta_2013,
 author       = {L. Bortolussi and R. Lanciani},
 year         = {2013},
 title        = {Model Checking Markov Population Models by Central Limit Approximation},
 booktitle    = {Proceedings of {QEST}},
 pages        = {123--138},
 doi          = {10.1007/978-3-642-40196-1\_9},
)
@book(MC:Clarke:1999:ModelChecking,
 author       = {E. Clarke and A. Peled and A. Grunberg},
 year         = {1999},
 title        = {Model Checking},
 publisher    = {MIT press},
)
@article(STOC:Darling:2002:PracticalFluid,
 author       = {R.W.R. Darling},
 year         = {2002},
 title        = {Fluid Limits of Pure Jump {M}arkov Processes: A Practical Guide},
 journal      = {\url{arXiv.org}},
)
@article(STOC:DarlingNorris:2008:DifferentialEquationsCTMC,
 author       = {R.W.R. Darling and J.R. Norris},
 year         = {2008},
 title        = {Differential equation approximations for {M}arkov chains},
 journal      = {Probability Surveys},
 volume       = {5},
 doi          = {10.1214/07-PS121},
)
@inproceedings(PM:Gast2010:WorkSteal,
 author       = {N. Gast and B. Gaujal},
 year         = {2010},
 title        = {A mean field model of work stealing in large-scale systems},
 booktitle    = {Proceedings of ACM SIGMETRICS 2010},
 pages        = {13--24},
 url          = {http://doi.acm.org/10.1145/1811039.1811042},
)
@article(HaydenTSE,
 author       = {R. A. Hayden and J. T. Bradley and A. Clark},
 year         = {2013},
 title        = {Performance Specification and Evaluation with Unified Stochastic Probes and Fluid Analysis},
 journal      = {IEEE Trans. Software Eng.},
 volume       = {39},
 number       = {1},
 pages        = {97--118},
 doi          = { 10.1109/TSE.2012.1},
)
@book(HowardBook,
 author       = {R.A. Howard},
 year         = {2007},
 title        = {Dynamic Probabilistic Systems, Volume II},
 publisher    = {Dover},
)
@inproceedings(remke11,
 author       = {A. Kolesnichenko and A. Remke and P.T. de Boer and B.R. Haverkort},
 year         = {2011},
 title        = {Comparison of the Mean-Field Approach and Simulation in a Peer-to-Peer Botnet Case Study},
 booktitle    = {Proceedings of EPEW},
 pages        = {133--147},
 doi          = {10.1007/978-3-642-24749-1\_11},
)
@book(THMAT:Kranz:2002:RealAnalyticFunctions,
 author       = {S. Krantz and P.R. Harold},
 year         = {2002},
 title        = {A Primer of Real Analytic Functions (Second ed.)},
 publisher    = {Birkh\"auser},
 doi          = {10.1007/978-0-8176-8134-0},
)
@article(STOC:Kurtz:1970:ODEandCTMC,
 author       = {T. G. Kurtz},
 year         = {1970},
 title        = {Solutions of Ordinary Differential Equations as Limits of Pure Jump {M}arkov Processes},
 journal      = {Journal of Applied Probability},
 volume       = {7},
 pages        = {49--58},
 doi          = {10.2307/3212147},
)
@inproceedings(LLM13,
 author       = {D. Latella and M. Loreti and M. Massink},
 year         = {2013},
 title        = {On-the-fly Fast Mean-Field Model-Checking},
 booktitle    = {Proceedings of {TGC}},
 pages        = {297--314},
 doi          = {10.1007/978-3-319-05119-2\_17},
)
@book(lbperf,
 author       = {Le Boudec, J.-Y.},
 year         = {2010},
 title        = {Performance Evaluation of Computer and Communication Systems},
 publisher    = {EPFL Press, Lausanne.},
)
@article(PA:Massink:2012:EmergencyEgress,
 author       = {M. Massink and D. Latella and A. Bracciali and M. Harrison and J. Hillston},
 year         = {2012},
 title        = {Scalable context-dependent analysis of emergency egress models},
 journal      = {Formal Aspects of Computing},
 pages        = {1--36},
 doi          = {10.1007/s00165-011-0188-1},
)
@book(STOC:Norris:1997:MarkovChains,
 author       = {J. R. Norris},
 year         = {1997},
 title        = {{M}arkov Chains},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/CBO9780511810633},
)
@article(SB:QianElson:2002:singleMoleculeEnzymology,
 author       = {H. Qian and E.L. Elson},
 year         = {2002},
 title        = {Single-molecule enzymology: stochastic Michaelis-Menten kinetics},
 journal      = {Biophysical Chemistry},
 volume       = {101},
 pages        = {565--576},
 doi          = {10.1016/S0301-4622(02)00145-X},
)
@book(MC:Kwiatkowska:2004:ProbabilisticModelChecking,
 author       = {J. Rutten and M. Kwiatkowska and G. Norman and D. Parker},
 year         = {2004},
 title        = {Mathematical Techniques for Analyzing Concurrent and Probabilistic Systems},
 series       = {CRM Monograph Series},
 volume       = {23},
 publisher    = {American Mathematical Society},
)
@inproceedings(stefanek12,
 author       = {A. Stefanek and R. A. Hayden and M. Mac Gonagle and J. T. Bradley},
 year         = {2012},
 title        = {Mean-Field Analysis of Markov Models with Reward Feedback},
 booktitle    = {Proceedings of {ASMTA} 2012},
 pages        = {193--211},
 doi          = {10.1007/978-3-642-30782-9\_14},
)
@phdthesis(PA:Sumpter:2000:WSCCSinsects,
 author       = {D.T.J. Sumpter},
 year         = {2000},
 title        = {From Bee to Society: An Agent-based Investigation of Honey Bee Colonies},
 school       = {University of Manchester},
)
@book(SB:Stelling:SyntheticBioBook:2010,
 editor       = {Z. Szallasi and J. Stelling and V. Periwal},
 year         = {2012},
 title        = {System Modeling in Cellular Biology, From Concepts to Nuts and Bolts},
 publisher    = {MIT Press},
)
@article(mircorewards12,
 author       = {M. Tribastone and J. Ding and S. Gilmore and J. Hillston},
 year         = {2012},
 title        = {Fluid Rewards for a Stochastic Process Algebra},
 journal      = {{IEEE} Trans. Software Eng.},
 volume       = {38},
 number       = {4},
 pages        = {861--874},
 doi          = {10.1109/TSE.2011.81},
)
@book(STOC:VanKampen:1992:StochasticProcessesPhysicsChemistry,
 author       = {{Van Kampen}, N. G.},
 year         = {1992},
 title        = {Stochastic Processes in Physics and Chemistry},
 publisher    = {Elsevier},
)