@incollection(barbuti2008calculus,
 author       = "Roberto Barbuti and Giulio Caravagna and Andrea Maggiolo-Schettini and Paolo Milazzo and Giovanni Pardini",
 year         = "2008",
 title        = "The calculus of looping sequences",
 booktitle    = "Formal Methods for Computational Systems Biology",
 publisher    = "Springer",
 pages        = "387--423",
 doi          = "10.1007/978-3-540-68894-5\_11",
)
@article(barbuti2006calculus,
 author       = "Roberto Barbuti and Andrea Maggiolo-Schettini and Paolo Milazzo and Angelo Troina",
 year         = "2006",
 title        = "A calculus of looping sequences for modelling microbiological systems",
 journal      = "Fundamenta Informaticae",
 volume       = "72",
 number       = "1",
 pages        = "21--35",
)
@article(blinov2004bionetgen,
 author       = "Michael L Blinov and James R Faeder and Byron Goldstein and William 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(bray1995computer,
 author       = "D. Bray and R.B. Bourret",
 year         = "1995",
 title        = "Computer analysis of the binding reactions leading to a transmembrane receptor-linked multiprotein complex involved in bacterial chemotaxis.",
 journal      = "Molecular biology of the cell",
 volume       = "6",
 number       = "10",
 pages        = "1367--1380",
)
@article(ciocchetta2009bio,
 author       = "Federica Ciocchetta and Jane Hillston",
 year         = "2009",
 title        = "Bio-PEPA: A framework for the modelling and analysis of biological systems",
 journal      = "Theoretical Computer Science",
 volume       = "410",
 number       = "33",
 pages        = "3065--3084",
 doi          = "10.1016/j.tcs.2009.02.037",
)
@incollection(clark2012formal,
 author       = "Allan Clark and Vashti Galpin and Stephen Gilmore and Maria Luisa Guerriero and Jane Hillston",
 year         = "2012",
 title        = "Formal methods for checking the consistency of biological models",
 booktitle    = "Advances in Systems Biology",
 publisher    = "Springer",
 pages        = "461--475",
 doi          = "10.1007/978-1-4419-7210-1\_27",
)
@article(danos2004formal,
 author       = "Vincent Danos and Cosimo Laneve",
 year         = "2004",
 title        = "Formal molecular biology",
 journal      = "Theoretical Computer Science",
 volume       = "325",
 number       = "1",
 pages        = "69--110",
 doi          = "10.1016/j.tcs.2004.03.065",
)
@article(drabik2012conditions,
 author       = "Peter Dr{\'a}bik and Andrea Maggiolo-Schettini and Paolo Milazzo",
 year         = "2012",
 title        = "On conditions for modular verification in systems of synchronising components",
 journal      = "Fundamenta Informaticae",
 volume       = "120",
 number       = "3",
 pages        = "259--274",
)
@inproceedings(drabik2012,
 author       = "Peter Dr\'abik and Andrea Maggiolo-Schettini and Paolo Milazzo",
 year         = "2012",
 title        = "Towards modular verification of pathways: fairness and assumptions",
 booktitle    = "{\rm Proceedings of MeCBIC 2012}",
 series       = "EPTCS",
 volume       = "100",
 pages        = "63--81",
)
@article(SBML03,
 author       = "M. Hucka and A. Finney and H.M. Sauro and H. Bolouri and J.C. Doyle and H. Kitano and {the rest of the SBML Forum}",
 year         = "2003",
 title        = "The systems biology markup language (SBML): a medium for representation and exchange of biochemical network models",
 journal      = "Bioinformatics",
 volume       = "19",
 number       = "4",
 pages        = "524--531",
 doi          = "10.1093/bioinformatics/btg015",
)
@article(kuhn2009monte,
 author       = "C. K{\"u}hn and C. Wierling and A. K{\"u}hn and E. Klipp and G. Panopoulou and H. Lehrach and A. Poustka",
 year         = "2009",
 title        = "Monte carlo analysis of an ode model of the sea urchin endomesoderm network",
 journal      = "BMC systems biology",
 volume       = "3",
 number       = "1",
 pages        = "83",
 doi          = "10.1186/1752-0509-3-83",
)
@article(BioModels2010,
 author       = "C. Li and M. Donizelli and N. Rodriguez and H. Dharuri and L. Endler and V. Chelliah and L. Li and E. He and A. Henry and M.I. Stefan and J.L. Snoep and M. Hucka and N. Le Nov{\`e}re and C. Laibe",
 year         = "2010",
 title        = "{BioModels Database: An enhanced, curated and annotated resource for published quantitative kinetic models.}",
 journal      = "BMC Systems Biology",
 volume       = "4",
 pages        = "92",
 doi          = "10.1186/1752-0509-4-92",
)
@article(maeda2006ca2+,
 author       = "A. Maeda and Y. Ozaki and S. Sivakumaran and T. Akiyama and H. Urakubo and A. Usami and M. Sato and K. Kaibuchi and S. Kuroda",
 year         = "2006",
 title        = "Ca2+-independent phospholipase A2-dependent sustained Rho-kinase activation exhibits all-or-none response",
 journal      = "Genes to Cells",
 volume       = "11",
 number       = "9",
 pages        = "1071--1083",
 doi          = "10.1111/j.1365-2443.2006.01001.x",
)
@article(martins2003kinetic,
 author       = "S.I.F.S. Martins and M.A.J.S. Van Boekel",
 year         = "2003",
 title        = "Kinetic modelling of Amadori N-(1-deoxy-d-fructos-1-yl)-glycine degradation pathways. Part II--Kinetic analysis",
 journal      = "Carbohydrate research",
 volume       = "338",
 number       = "16",
 pages        = "1665--1678",
 doi          = "10.1016/S0008-6215(03)00174-5",
)
@article(morris2002kinetic,
 author       = "M.C. Morris and C. Gondeau and J.A. Tainer and G. Divita",
 year         = "2002",
 title        = "Kinetic Mechanism of Activation of the Cdk2/Cyclin A Complex",
 journal      = "Journal of Biological Chemistry",
 volume       = "277",
 number       = "26",
 pages        = "23847--23853",
 doi          = "10.1074/jbc.M107890200",
)
@article(nakakuki2010ligand,
 author       = "T. Nakakuki and M.R. Birtwistle and Y. Saeki and N. Yumoto and K. Ide and T. Nagashima and L. Brusch and B.A. Ogunnaike and M. Okada-Hatakeyama and B.N. Kholodenko",
 year         = "2010",
 title        = "Ligand-specific c-Fos expression emerges from the spatiotemporal control of ErbB network dynamics",
 journal      = "Cell",
 volume       = "141",
 number       = "5",
 pages        = "884--896",
 doi          = "10.1016/j.cell.2010.03.054",
)
@article(olsen2003model,
 author       = "L.F. Olsen and U. Kummer and A.L. Kindzelskii and H.R. Petty",
 year         = "2003",
 title        = "A model of the oscillatory metabolism of activated neutrophils",
 journal      = "Biophysical journal",
 volume       = "84",
 number       = "1",
 pages        = "69--81",
 doi          = "10.1016/S0006-3495(03)74833-4",
)
@inproceedings(PardiniMMS13-components,
 author       = "G. Pardini and P. Milazzo and A. Maggiolo-Schettini",
 title        = "{An Algorithm for the Identification of Components in Biochemical Pathways}",
 booktitle    = "Proceedings of CS2Bio 2013",
 series       = "ENTCS",
 note         = "In press.\let \reserved@d =[\def \par 
)
@inproceedings(phillips2007efficient,
 author       = "A. Phillips and L. Cardelli",
 year         = "2007",
 title        = "Efficient, correct simulation of biological processes in the stochastic pi-calculus",
 booktitle    = "Computational Methods in Systems Biology",
 organization = "Springer",
 pages        = "184--199",
 doi          = "10.1007/978-3-540-75140-3\_13",
)
@article(proctor2010modelling,
 author       = "C.J. Proctor and P.J. Tangeman and H.C. Ardley",
 year         = "2010",
 title        = "Modelling the Role of UCH-L1 on Protein Aggregation in Age-Related Neurodegeneration",
 journal      = "PLoS ONE",
 volume       = "5",
 number       = "10",
 pages        = "e13175",
 doi          = "10.1371/journal.pone.0013175.s013",
)
@article(rozi2003theoretical,
 author       = "A. Rozi and Y. Jia",
 year         = "2003",
 title        = "A theoretical study of effects of cytosolic Ca\textsuperscript {2+} oscillations on activation of glycogen phosphorylase",
 journal      = "Biophysical chemistry",
 volume       = "106",
 number       = "3",
 pages        = "193--202",
 doi          = "10.1016/S0301-4622(03)00192-3",
)
@article(saucerman2006systems,
 author       = "J.J. Saucerman and J. Zhang and J.C. Martin and L.X. Peng and A.E. Stenbit and R.Y. Tsien and A.D. McCulloch",
 year         = "2006",
 title        = "Systems analysis of PKA-mediated phosphorylation gradients in live cardiac myocytes",
 journal      = "Proceedings of the National Academy of Sciences",
 volume       = "103",
 number       = "34",
 pages        = "12923--12928",
 doi          = "10.1073/pnas.0600137103",
)
@article(schmierer2010hypoxia,
 author       = "B. Schmierer and B. Nov{\'a}k and C. Schofield",
 year         = "2010",
 title        = "Hypoxia-dependent sequestration of an oxygen sensor by a widespread structural motif can shape the hypoxic response-a predictive kinetic model",
 journal      = "BMC systems biology",
 volume       = "4",
 number       = "1",
 pages        = "139",
 doi          = "10.1186/1752-0509-4-139",
)
@article(thomsen1988inhibition,
 author       = "W.J. Thomsen and J.A. Jacquez and R.R. Neubig",
 year         = "1988",
 title        = "Inhibition of adenylate cyclase is mediated by the high affinity conformation of the alpha 2-adrenergic receptor.",
 journal      = "Molecular pharmacology",
 volume       = "34",
 number       = "6",
 pages        = "814--822",
)
@article(troein2011multiple,
 author       = "C. Troein and F. Corellou and L.E. Dixon and G. van Ooijen and J.S. O’Neill and F.-Y. Bouget and A.J. Millar",
 year         = "2011",
 title        = "Multiple light inputs to a simple clock circuit allow complex biological rhythms",
 journal      = "The Plant Journal",
 volume       = "66",
 number       = "2",
 pages        = "375--385",
 doi          = "10.1111/j.1365-313X.2011.04489.x",
)