@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},
)
@incollection(AugerSurvey2008,
 author       = {P. Auger and R. de la Parra and J. Poggiale and E. S{\'a}nchez and Nguyen-Huu, T.},
 year         = {2008},
 title        = {Aggregation of Variables and Applications to Population Dynamics},
 editor       = {Pierre Magal and Shigui Ruan},
 booktitle    = {Structured Population Models in Biology and Epidemiology},
 series       = {Lecture Notes in Mathematics},
 volume       = {1936},
 publisher    = {Springer},
 pages        = {209--263},
 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},
)
@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      = {Theoretical Computer Science},
 volume       = {360},
 number       = {1--3},
 pages        = {373--385},
 doi          = {10.1016/j.tcs.2006.05.021},
)
@inproceedings(concur15,
 author       = {L. Cardelli and M. Tribastone and M. Tschaikowski and A. Vandin},
 year         = {2015},
 title        = {Forward and Backward Bisimulations for Chemical Reaction Networks},
 booktitle    = {26th International Conference on Concurrency Theory, {CONCUR}},
 pages        = {226--239},
 doi          = {10.4230/LIPIcs.CONCUR.2015.226},
)
@inproceedings(tacas16,
 author       = {L. Cardelli and M. Tribastone and M. Tschaikowski and A. Vandin},
 year         = {2016},
 title        = {Efficient Syntax-driven Lumping of Differential Equations},
 booktitle    = {Proceedings of Tools and Algorithms for the Construction and Analysis of Systems --- 21st International Conference (TACAS)},
 doi          = {10.1007/978-3-662-49674-9\_6},
)
@inproceedings(popl16,
 author       = {L. Cardelli and M. Tribastone and M. Tschaikowski and A. Vandin},
 year         = {2016},
 title        = {Symbolic computation of differential equivalences},
 booktitle    = {Proceedings of the 43rd Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL}},
 pages        = {137--150},
 doi          = {10.1145/2837614.2837649},
)
@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},
 editor       = {R. Giacobazzi and J. Berdine and I. Mastroeni},
 booktitle    = {Proc. 14th International Conference on Verification, Model Checking, and Abstract Interpretation (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      = {Proceedings of the National Academy of Sciences},
 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      = {Theoretical Computer Science},
 volume       = {431},
 pages        = {137--164},
 doi          = {10.1016/j.tcs.2011.12.059},
)
@inproceedings(dsn13,
 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},
)
@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/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},
)
@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(murray:i,
 author       = {J.D. Murray},
 year         = {2002},
 title        = {Mathematical Biology I: An Introduction},
 edition      = {3rd},
 publisher    = {Springer},
 doi          = {10.1007/b98868},
)
@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(bisimulation_lin_sys_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},
)
@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 Journal on Applied Mathematics},
 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(DBLP:journals/tse/TribastoneGH12,
 author       = {M. Tribastone and S. Gilmore and J. Hillston},
 year         = {2012},
 title        = {Scalable Differential Analysis of Process Algebra Models},
 journal      = {IEEE Transactions on Software Engineering},
 volume       = {38},
 number       = {1},
 pages        = {205--219},
 doi          = {10.1109/TSE.2010.82},
)
@article(tac15,
 author       = {M. Tschaikowski and M. Tribastone},
 year         = {2015},
 title        = {Approximate reduction of heterogeneous nonlinear models with differential hulls},
 journal      = {IEEE Transactions on Automatic Control},
 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}(\emph{m} log\emph{n}) Time Markov Chain Lumping},
 booktitle    = {TACAS},
 pages        = {38--52},
 doi          = {10.1007/978-3-642-12002-2\_4},
)
@article(Voit:2013aa,
 author       = {Eberhard O. Voit},
 year         = {2013},
 title        = {Biochemical Systems Theory: A Review},
 journal      = {ISRN Biomathematics},
 volume       = {2013},
 pages        = {53},
 doi          = {10.1155/2013/897658},
)