@article(1098900,
 author       = {M. Aoki},
 year         = {1968},
 title        = {Control of large-scale dynamic systems by aggregation},
 journal      = {IEEE Trans. Autom. Control},
 volume       = {13},
 number       = {3},
 pages        = {246--253},
 doi          = {10.1109/TAC.1968.1098900},
)
@misc(apache:maths,
 title        = {{Apache Commons Mathematics Library, \url{http://commons.apache.org/proper/commons-math/}}},
)
@inbook(Auger2008,
 author       = {P. Auger and R. Bravo de la Parra and J. C. Poggiale and E. S{\'a}nchez and Nguyen-Huu, T.},
 year         = {2008},
 title        = {Aggregation of Variables and Applications to Population Dynamics},
 pages        = {209--263},
 publisher    = {Springer Berlin Heidelberg},
 address      = {Berlin, Heidelberg},
 doi          = {10.1007/978-3-540-78273-5_5},
)
@article(DBLP:journals/jcss/BaierEM00,
 author       = {C. Baier and B. Engelen and Majster-Cederbaum, M. E.},
 year         = {2000},
 title        = {Deciding Bisimilarity and Similarity for Probabilistic Processes},
 journal      = {J. Comput. Syst. Sci.},
 volume       = {60},
 number       = {1},
 pages        = {187--231},
 doi          = {10.1006/jcss.1999.1683},
)
@inbook(Biere:2009:HSV:1550723,
 author       = {C.W. Barrett and R. Sebastiani and S.A. Seshia and C. Tinelli},
 year         = {2009},
 title        = {Handbook of Satisfiability: Volume 185 Frontiers in Artificial Intelligence and Applications},
 chapter      = {Satisfiability Modulo Theories},
 publisher    = {IOS Press},
 doi          = {10.3233/978-1-58603-929-5-825},
)
@inproceedings(DBLP:conf/splc/BeekLLV15,
 author       = {M. H. ter Beek and A. Legay and Lluch{-}Lafuente, A. and A. Vandin},
 year         = {2015},
 title        = {Statistical analysis of probabilistic models of software product lines with quantitative constraints},
 booktitle    = {{SPLC} 2015},
 publisher    = {{ACM}},
 pages        = {11--15},
 doi          = {10.1145/2791060.2791087},
)
@inproceedings(DBLP:conf/isola/BeekLLV16,
 author       = {M. H. ter Beek and A. Legay and Lluch{-}Lafuente, A. and A. Vandin},
 year         = {2016},
 title        = {Statistical Model Checking for Product Lines},
 booktitle    = {ISoLA 2016},
 series       = {LNCS},
 volume       = {9952},
 pages        = {114--133},
 doi          = {10.1007/978-3-319-47166-2_8},
)
@inproceedings(MisscelAndPirlo,
 author       = {L. Belzner and {De Nicola}, R. and A. Vandin and M. Wirsing},
 year         = {2014},
 title        = {{Reasoning (on) Service Component Ensembles in Rewriting Logic}},
 booktitle    = {Specification, Algebra, and Software},
 series       = {LNCS},
 volume       = {8373},
 publisher    = {Springer},
 pages        = {188--211},
 doi          = {10.1007/978-3-642-54624-2},
)
@article(Blinov22112004,
 author       = {M. L. Blinov and J. R. Faeder and B. Goldstein and W. S. Hlavacek},
 year         = {2004},
 title        = {{BioNetGen}: software for rule-based modeling of signal transduction based on the interactions of molecular domains},
 journal      = {Bioinformatics},
 volume       = {20},
 number       = {17},
 pages        = {3289--3291},
 doi          = {10.1093/bioinformatics/bth378},
)
@article(Borisov2005951,
 author       = {N. M. Borisov and N. I. Markevich and J. B. Hoek and B. N. Kholodenko},
 year         = {2005},
 title        = {Signaling through Receptors and Scaffolds: Independent Interactions Reduce Combinatorial Complexity},
 journal      = {Biophysical Journal},
 volume       = {89},
 number       = {2},
 pages        = {951 -- 966},
 doi          = {10.1529/biophysj.105.060533},
)
@article(worrell:approximating,
 author       = {F. van Breugel and J. Worrell},
 year         = {2006},
 title        = {Approximating and computing behavioural distances in probabilistic transition systems},
 journal      = {TCS},
 volume       = {360},
 number       = {1--3},
 pages        = {373--385},
 doi          = {10.1016/j.tcs.2006.05.021},
)
@article(Calzone15072006,
 author       = {L. Calzone and F. Fages and S. Soliman},
 year         = {2006},
 title        = {{BIOCHAM}: an environment for modeling biological systems and formalizing experimental knowledge},
 journal      = {Bioinformatics},
 volume       = {22},
 number       = {14},
 pages        = {1805--1807},
 doi          = {10.1093/bioinformatics/btl172},
)
@article(CardelliTCS08,
 author       = {L. Cardelli},
 year         = {2008},
 title        = {On process rate semantics},
 journal      = {TCS},
 volume       = {391},
 number       = {3},
 pages        = {190--215},
 doi          = {10.1016/j.tcs.2007.11.012},
)
@article(cardelli14,
 author       = {L. Cardelli},
 year         = {2014},
 title        = {{Morphisms of reaction networks that couple structure to function}},
 journal      = {BMC Systems Biology},
 volume       = {8},
 number       = {1},
 doi          = {10.1186/1752-0509-8-84},
)
@article(ccdtt-sci-reports-2012,
 author       = {L. Cardelli and Csik{\'a}sz-Nagy, A. and N. Dalchau and M. Tribastone and M. Tschaikowski},
 year         = {2016},
 title        = {Noise Reduction in Complex Biological Switches},
 journal      = {Scientific Reports},
 volume       = {6},
 pages        = {20214},
 doi          = {10.1038/srep20214},
)
@article(10.1371/journal.pcbi.1005100,
 author       = {L. Cardelli and Hernansaiz-Ballesteros, R. D. and N. Dalchau and Csikász-Nagy, A.},
 year         = {2017},
 title        = {Efficient Switches in Biology and Computer Science},
 journal      = {PLOS Computational Biology},
 volume       = {13},
 number       = {1},
 pages        = {1--16},
 doi          = {10.1371/journal.pcbi.1005100},
)
@inproceedings(DBLP:conf/concur/CardelliTTV15,
 author       = {L. Cardelli and M. Tribastone and M. Tschaikowski and A. Vandin},
 year         = {2015},
 title        = {Forward and Backward Bisimulations for Chemical Reaction Networks},
 booktitle    = {{CONCUR}},
 pages        = {226--239},
 doi          = {10.4230/LIPIcs.CONCUR.2015.226},
)
@inproceedings(DBLP:conf/lics/CardelliTTV16,
 author       = {L. Cardelli and M. Tribastone and M. Tschaikowski and A. Vandin},
 year         = {2016},
 title        = {Comparing Chemical Reaction Networks: {A} Categorical and Algorithmic Perspective},
 booktitle    = {{LICS} 2016},
 pages        = {485--494},
 doi          = {10.1145/2933575.2935318},
)
@inproceedings(DBLP:conf/tacas/CardelliTTV16,
 author       = {L. Cardelli and M. Tribastone and M. Tschaikowski and A. Vandin},
 year         = {2016},
 title        = {Efficient Syntax-Driven Lumping of Differential Equations},
 booktitle    = {{TACAS} 2016},
 pages        = {93--111},
 doi          = {10.1007/978-3-662-49674-9_6},
)
@inproceedings(DBLP:conf/popl/CardelliTTV16,
 author       = {L. Cardelli and M. Tribastone and M. Tschaikowski and A. Vandin},
 year         = {2016},
 title        = {Symbolic computation of differential equivalences},
 booktitle    = {{POPL} 2016},
 pages        = {137--150},
 doi          = {10.1145/2837614.2837649},
)
@inproceedings(tacas17cttv,
 author       = {L. Cardelli and M. Tribastone and M. Tschaikowski and A. Vandin},
 year         = {2017},
 title        = {{ERODE}: A Tool for the Evaluation and Reduction of Ordinary Differential Equations},
 booktitle    = {{TACAS 2017}},
 pages        = {310--328},
 doi          = {10.1007/978-3-662-54580-5_19},
)
@article(biopepa,
 author       = {F. Ciocchetta and J. Hillston},
 year         = {2009},
 title        = {{Bio-PEPA}: A framework for the modelling and analysis of biological systems},
 journal      = {TCS},
 volume       = {410},
 number       = {33-34},
 pages        = {3065--3084},
 doi          = {10.1016/j.tcs.2009.02.037},
)
@article(Danos200469,
 author       = {V. Danos and C. Laneve},
 year         = {2004},
 title        = {Formal molecular biology},
 journal      = {TCS},
 volume       = {325},
 number       = {1},
 pages        = {69--110},
 doi          = {10.1016/j.tcs.2004.03.065},
)
@inproceedings(DeMoura:2008:ZES:1792734.1792766,
 author       = {De Moura, L. and Bj\o{}rner, N.},
 year         = {2008},
 title        = {{Z3}: An Efficient {SMT} Solver},
 booktitle    = {TACAS},
 pages        = {337--340},
 doi          = {10.1007/978-3-540-78800-3\_24},
)
@inproceedings(DKP13,
 author       = {C. Dehnert and J.-P. Katoen and D. Parker},
 year         = {2013},
 title        = {{SMT}-Based Bisimulation Minimisation of {Markov} Models},
 booktitle    = {VMCAI'13},
 series       = {LNCS},
 volume       = {7737},
 publisher    = {Springer},
 pages        = {28--47},
 doi          = {10.1007/978-3-642-35873-9\_5},
)
@article(Derisavi2003309,
 author       = {S. Derisavi and H. Hermanns and W.H. Sanders},
 year         = {2003},
 title        = {Optimal state-space lumping in {M}arkov chains},
 journal      = {Information Processing Letters},
 volume       = {87},
 number       = {6},
 pages        = {309--315},
 doi          = {10.1016/S0020-0190(03)00343-0},
)
@article(DBLP:journals/tcs/DesharnaisGJP04,
 author       = {J. Desharnais and V. Gupta and R. Jagadeesan and P. Panangaden},
 year         = {2004},
 title        = {Metrics for labelled Markov processes},
 journal      = {Theor. Comput. Sci.},
 volume       = {318},
 number       = {3},
 pages        = {323--354},
 doi          = {10.1016/j.tcs.2003.09.013},
)
@article(Feret21042009,
 author       = {J. Feret and V. Danos and J. Krivine and R. Harmer and W. Fontana},
 year         = {2009},
 title        = {Internal coarse-graining of molecular systems},
 journal      = {PNAS},
 volume       = {106},
 number       = {16},
 pages        = {6453--6458},
 doi          = {10.1073/pnas.0809908106},
)
@article(Feret2012137,
 author       = {J. Feret and T. Henzinger and H. Koeppl and T. Petrov},
 year         = {2012},
 title        = {Lumpability abstractions of rule-based systems},
 journal      = {TCS},
 volume       = {431},
 number       = {0},
 pages        = {137--164},
 doi          = {10.1016/j.tcs.2011.12.059},
)
@article(Erhard2008,
 author       = {E. Florian and C. C. Friedel and R. Zimmer},
 year         = {2008},
 title        = {{FERN - a Java framework for stochastic simulation and evaluation of reaction networks}},
 journal      = {BMC Bioinformatics},
 volume       = {9},
 number       = {1},
 pages        = {356},
 doi          = {10.1186/1471-2105-9-356},
)
@misc(GEC,
 title        = {{Microsoft GEC, \url{http://research.microsoft.com/en-us/projects/gec/}}},
)
@article(Gillespie77,
 author       = {D. T. Gillespie},
 year         = {1977},
 title        = {{Exact Stochastic Simulation of Coupled Chemical Reactions}},
 journal      = {Journal of Physical Chemistry},
 volume       = {81},
 number       = {25},
 pages        = {2340--2361},
 doi          = {10.1021/j100540a008},
)
@inproceedings(DBLP:conf/ifm/GilmoreTV14,
 author       = {S. Gilmore and M. Tribastone and A. Vandin},
 year         = {2014},
 title        = {{An Analysis Pathway for the Quantitative Evaluation of Public Transport Systems}},
 booktitle    = {IFM 2014},
 pages        = {71--86},
 doi          = {10.1007/978-3-319-10181-1\_5},
)
@article(DBLP:journals/lmcs/GuptaJP06,
 author       = {V. Gupta and R. Jagadeesan and P. Panangaden},
 year         = {2006},
 title        = {Approximate reasoning for real-time probabilistic processes},
 journal      = {LMCS},
 volume       = {2},
 number       = {1},
 doi          = {10.2168/LMCS-2(1:4)2006},
)
@article(DBLP:journals/tcs/HaydenB10,
 author       = {R. A. Hayden and J. T. Bradley},
 year         = {2010},
 title        = {{A fluid analysis framework for a Markovian process algebra}},
 journal      = {TCS},
 volume       = {411},
 number       = {22-24},
 pages        = {2260--2297},
 doi          = {10.1016/j.tcs.2010.02.001},
)
@article(cj:fluidflow,
 author       = {J. Hillston and M. Tribastone and S. Gilmore},
 year         = {2011},
 title        = {Stochastic Process Algebras: From Individuals to Populations},
 journal      = {The Computer Journal},
 doi          = {10.1093/comjnl/bxr094},
)
@inproceedings(dsn2013,
 author       = {G. Iacobelli and M. Tribastone},
 year         = {2013},
 title        = {Lumpability of fluid models with heterogeneous agent types},
 booktitle    = {DSN},
 pages        = {1--11},
 doi          = {10.1109/DSN.2013.6575346},
)
@inproceedings(DBLP:conf/mfcs/IacobelliTV15,
 author       = {G. Iacobelli and M. Tribastone and A. Vandin},
 year         = {2015},
 title        = {Differential Bisimulation for a Markovian Process Algebra},
 booktitle    = {{MFCS} 2015},
 pages        = {293--306},
 doi          = {10.1007/978-3-662-48057-1_23},
)
@article(PhysRevE.73.026203,
 author       = {N. Israeli and N. Goldenfeld},
 year         = {2006},
 title        = {Coarse-graining of cellular automata, emergence, and the predictability of complex systems},
 journal      = {Phys. Rev. E},
 volume       = {73},
 pages        = {026203},
 doi          = {10.1103/PhysRevE.73.026203},
)
@article(Iwasa1987287,
 author       = {Y. Iwasa and V. Andreasen and S. Levin},
 year         = {1987},
 title        = {{Aggregation in model ecosystems. I. Perfect aggregation}},
 journal      = {Ecological Modelling},
 volume       = {37},
 number       = {3-4},
 pages        = {287--302},
 doi          = {10.1016/0304-3800(87)90030-5},
)
@inproceedings(DBLP:conf/cav/KwiatkowskaNP11,
 author       = {M.Z. Kwiatkowska and G. Norman and D. Parker},
 year         = {2011},
 title        = {PRISM 4.0: Verification of Probabilistic Real-Time Systems},
 booktitle    = {CAV},
 pages        = {585--591},
 doi          = {10.1007/978-3-642-22110-1\_47},
)
@inproceedings(DBLP:conf/cmsb/KwiatkowskiS08,
 author       = {M. Kwiatkowski and I. Stark},
 year         = {2008},
 title        = {The Continuous pi-Calculus: A Process Algebra for Biochemical Modelling},
 booktitle    = {CMSB},
 pages        = {103--122},
 doi          = {10.1007/978-3-540-88562-7_11},
)
@inproceedings(DBLP:conf/mfcs/LarsenMP12,
 author       = {K.G. Larsen and R. Mardare and P. Panangaden},
 year         = {2012},
 title        = {Taking It to the Limit: Approximate Reasoning for Markov Processes},
 booktitle    = {MFCS},
 pages        = {681--692},
 doi          = {10.1007/978-3-642-32589-2\_59},
)
@article(Larsen19911,
 author       = {K.G. Larsen and A. Skou},
 year         = {1991},
 title        = {Bisimulation through probabilistic testing},
 journal      = {Information and Computation},
 volume       = {94},
 number       = {1},
 pages        = {1--28},
 doi          = {10.1016/0890-5401(91)90030-6},
)
@inproceedings(legay2010statistical,
 author       = {A. Legay and B. Delahaye and S. Bensalem},
 year         = {2010},
 title        = {Statistical model checking: An overview},
 booktitle    = {RV 2010},
 organization = {Springer},
 pages        = {122--135},
 doi          = {10.1007/978-3-642-16612-9_11},
)
@article(Li19891413,
 author       = {G. Li and H. Rabitz},
 year         = {1989},
 title        = {A general analysis of exact lumping in chemical kinetics},
 journal      = {Chemical Engineering Science},
 volume       = {44},
 number       = {6},
 pages        = {1413--1430},
 doi          = {10.1016/0009-2509(89)85014-6},
)
@book(Murray2002,
 author       = {J. D. Murray},
 year         = {2002},
 title        = {Mathematical Biology I: An Introduction, 3rd edition.},
 publisher    = {Springer},
 doi          = {10.1007/b98868},
)
@article(1999133,
 author       = {M. Nagasaki and S. Onami and S. Miyano and H. Kitano},
 year         = {1999},
 title        = {Bio-calculus: Its Concept and Molecular Interaction},
 journal      = {Genome Informatics},
 volume       = {10},
 pages        = {133--143},
 doi          = {10.11234/gi1990.10.133},
)
@article(okino1998,
 author       = {M. S. Okino and M. L. Mavrovouniotis},
 year         = {1998},
 title        = {Simplification of Mathematical Models of Chemical Reaction Systems},
 journal      = {Chemical Reviews},
 volume       = {2},
 number       = {98},
 pages        = {391--408},
 doi          = {10.1021/cr950223l},
)
@article(partitionref,
 author       = {R. Paige and R. Tarjan},
 year         = {1987},
 title        = {Three Partition Refinement Algorithms},
 journal      = {SIAM Journal on Computing},
 volume       = {16},
 number       = {6},
 pages        = {973--989},
 doi          = {10.1137/0216062},
)
@article(Pappas,
 author       = {G. J. Pappas},
 year         = {2003},
 title        = {Bisimilar linear systems},
 journal      = {Automatica},
 volume       = {39},
 number       = {12},
 pages        = {2035--2047},
 doi          = {10.1016/j.automatica.2003.07.003},
)
@incollection(Pedersen:2010aa,
 author       = {M. Pedersen and G. D. Plotkin},
 year         = {2010},
 title        = {A Language for Biochemical Systems: Design and Formal Specification},
 booktitle    = {Trans. Comp. Systems Biology XII},
 publisher    = {Springer},
 pages        = {77--145},
 doi          = {10.1007/978-3-642-11712-1_3},
)
@inproceedings(DBLP:conf/hpcs/PianiniSV14,
 author       = {D. Pianini and S. Sebastio and A. Vandin},
 year         = {2014},
 title        = {Distributed statistical analysis of complex systems modeled through a chemical metaphor},
 booktitle    = {{HPCS} 2014},
 publisher    = {{IEEE}},
 pages        = {416--423},
 doi          = {10.1109/HPCSim.2014.6903715},
)
@inproceedings(DBLP:conf/concur/PierroHW03,
 author       = {A. Di Pierro and C. Hankin and H. Wiklicky},
 year         = {2003},
 title        = {Quantitative Relations and Approximate Process Equivalences},
 booktitle    = {CONCUR},
 pages        = {498--512},
 doi          = {10.1007/978-3-540-45187-7_33},
)
@inproceedings(sebastio2013multivesta,
 author       = {S. Sebastio and A. Vandin},
 year         = {2013},
 title        = {{MultiVeStA}: Statistical model checking for discrete event simulators},
 booktitle    = {Valuetools 2013},
 organization = {ACM},
 pages        = {310--315},
 doi          = {10.4108/icst.valuetools.2013.254377},
)
@inproceedings(gecco17,
 author       = {S. Tognazzi and M. Tribastone and M. Tschaikowski and A. Vandin},
 year         = {2017},
 title        = {{EGAC}: A Genetic Algorithm to Compare Chemical Reaction Networks},
 booktitle    = {{GECCO} 2017 (to appear)},
 doi          = {10.1145/3071178.3071265},
)
@article(LiRabitz1997,
 author       = {J. Toth and G. Li and H. Rabitz and A.S. Tomlin},
 year         = {1997},
 title        = {The Effect of Lumping and Expanding on Kinetic Differential Equations},
 journal      = {SIAM JAM},
 volume       = {57},
 number       = {6},
 pages        = {1531--1556},
 doi          = {10.1137/S0036139995293294},
)
@article(10.1109/TSE.2012.66,
 author       = {M. Tribastone},
 year         = {2013},
 title        = {A Fluid Model for Layered Queueing Networks},
 journal      = {IEEE Transactions on Software Engineering},
 volume       = {39},
 number       = {6},
 pages        = {744--756},
 doi          = {10.1109/TSE.2012.66},
)
@article(TribastoneTSE2012,
 author       = {M. Tribastone and S. Gilmore and J. Hillston},
 year         = {2012},
 title        = {Scalable Differential Analysis of Process Algebra Models},
 journal      = {{IEEE} Trans. Software Eng.},
 volume       = {38},
 number       = {1},
 pages        = {205--219},
 doi          = {10.1109/TSE.2010.82},
)
@inproceedings(concur2012,
 author       = {M. Tschaikowski and M. Tribastone},
 year         = {2012},
 title        = {{Exact fluid lumpability for Markovian process algebra}},
 booktitle    = {CONCUR},
 series       = {LNCS},
 pages        = {380--394},
 doi          = {10.1007/978-3-642-32940-1_27},
)
@article(Tschaikowski2013b,
 author       = {M. Tschaikowski and M. Tribastone},
 year         = {2014},
 title        = {Exact fluid lumpability in {M}arkovian process algebra},
 journal      = {TCS},
 volume       = {538},
 pages        = {140--166},
 doi          = {10.1016/j.tcs.2013.07.029},
)
@article(tac15,
 author       = {M. Tschaikowski and M. Tribastone},
 year         = {2016},
 title        = {{Approximate Reduction of Heterogenous Nonlinear Models With Differential Hulls}},
 journal      = {{IEEE Trans. Automat. Contr.}},
 volume       = {61},
 number       = {4},
 pages        = {1099--1104},
 doi          = {10.1109/TAC.2015.2457172},
)
@book(Turanyi14,
 author       = {T. Turanyi and A. Tomlin},
 year         = {2014},
 title        = {Analysis of Kinetic Reaction Mechanisms},
 publisher    = {Springer},
 doi          = {10.1007/978-3-662-44562-4},
)
@inproceedings(DBLP:conf/tacas/ValmariF10,
 author       = {A. Valmari and G. Franceschinis},
 year         = {2010},
 title        = {Simple \emph{O}($m\qopname\relax o{log}n$) Time Markov Chain Lumping},
 booktitle    = {TACAS},
 pages        = {38--52},
 doi          = {10.1007/978-3-642-12002-2\_4},
)
@inproceedings(DBLP:conf/sfm/VandinT16,
 author       = {A. Vandin and M. Tribastone},
 year         = {2016},
 title        = {Quantitative Abstractions for Collective Adaptive Systems},
 booktitle    = {{SFM} 2016, Bertinoro Summer School},
 pages        = {202--232},
 doi          = {10.1007/978-3-319-34096-8_7},
)