@article(bagnoli2007risk,
 author       = "F. Bagnoli and P. Li\`o and L. Sguanci",
 year         = "2007",
 title        = "Risk perception in epidemic modeling",
 journal      = "Physical Review E",
 volume       = "76",
 number       = "6",
 pages        = "061904",
 doi          = "10.1103/PhysRevE.76.061904",
)
@article(bartocci2012tcsb,
 author       = "E. Bartocci and P. Li\`o and M. Merelli and N. Paoletti",
 year         = "2012",
 title        = "Multiple Verification in Complex Biological Systems: the Bone Remodelling Case Study",
 journal      = "Transactions on Computational Systems Biology. To appear",
)
@article(batt2005qualitative,
 author       = "G. Batt and D. Ropers and H. De Jong and J. Geiselmann and M. Page and D. Schneider",
 year         = "2005",
 title        = "Qualitative analysis and verification of hybrid models of genetic regulatory networks: Nutritional stress response in Escherichia coli",
 journal      = "Hybrid Systems: Computation and Control",
 pages        = "134--150",
 doi          = "10.1007/978-3-540-31954-2\_9",
)
@article(bemporad1999control,
 author       = "A. Bemporad and M. Morari",
 year         = "1999",
 title        = "Control of systems integrating logic, dynamics, and constraints",
 journal      = "Automatica",
 volume       = "35",
 pages        = "407--428",
 doi          = "10.1016/S0005-1098(98)00178-2",
)
@inproceedings(bortolussi2010hybrid,
 author       = "L. Bortolussi and V. Galpin and J. Hillston and M. Tribastone",
 year         = "2010",
 title        = "Hybrid semantics for PEPA",
 booktitle    = "Quantitative Evaluation of Systems (QEST), 2010 Seventh International Conference on the",
 organization = "IEEE",
 pages        = "181--190",
 doi          = "10.1109/QEST.2010.31",
)
@article(bortolussi2009hybrid,
 author       = "L. Bortolussi and A. Policriti",
 year         = "2009",
 title        = "Hybrid Dynamics of Stochastic $\pi $-calculus",
 journal      = "Mathematics in Computer Science",
 volume       = "2",
 number       = "3",
 pages        = "465--491",
 doi          = "10.1007/s11786-008-0065-3",
)
@inproceedings(cardelli2008processes,
 author       = "L. Cardelli",
 year         = "2008",
 title        = "From processes to odes by chemistry",
 booktitle    = "Fifth Ifip International Conference On Theoretical Computer Science--Tcs 2008",
 organization = "Springer",
 pages        = "261--281",
 doi          = "10.1007/978-0-387-09680-3\_18",
)
@article(cardelli2008computational,
 author       = "L. Cardelli and G. Zavattaro",
 year         = "2008",
 title        = "On the computational power of biochemistry",
 journal      = "Algebraic Biology",
 pages        = "65--80",
 doi          = "10.1007/978-3-540-85101-1\_6",
)
@article(galpin2009hype,
 author       = "V. Galpin and L. Bortolussi and J. Hillston",
 year         = "2009",
 title        = "HYPE: a process algebra for compositional flows and emergent behaviour",
 journal      = "CONCUR 2009-Concurrency Theory",
 pages        = "305--320",
 doi          = "10.1007/978-3-642-04081-8\_21",
)
@inproceedings(grosu2011cardiac,
 author       = "R. Grosu and G. Batt and F. Fenton and J. Glimm and C. Le Guernic and S. Smolka and E. Bartocci",
 year         = "2011",
 title        = "From cardiac cells to genetic regulatory networks",
 booktitle    = "Computer Aided Verification",
 organization = "Springer",
 pages        = "396--411",
 doi          = "10.1007/978-3-642-22110-1\_31",
)
@inproceedings(henzinger1996theory,
 author       = "T.A. Henzinger",
 year         = "1996",
 title        = "The theory of hybrid automata",
 booktitle    = "Logic in Computer Science, 1996. LICS'96. Proceedings., Eleventh Annual IEEE Symposium on",
 organization = "IEEE",
 pages        = "278--292",
 doi          = "10.1109/LICS.1996.561342",
)
@article(kermack1932contributions,
 author       = "W.O. Kermack and A.G. McKendrick",
 year         = "1932",
 title        = "Contributions to the mathematical theory of epidemics. II. The problem of endemicity",
 journal      = "Proceedings of the Royal society of London. Series A",
 volume       = "138",
 number       = "834",
 pages        = "55--83",
 doi          = "10.1098/rspa.1932.0171",
)
@misc(mpt,
 author       = "M. Kvasnica and P. Grieder and M. Baoti\'{c}",
 year         = "2004",
 title        = "{Multi-Parametric Toolbox (MPT)}",
 url          = "http://control.ee.ethz.ch/~mpt/",
)
@inproceedings(lapin2011shave,
 author       = "M. Lapin and L. Mikeev and V. Wolf",
 year         = "2011",
 title        = "SHAVE: stochastic hybrid analysis of markov population models",
 booktitle    = "Proceedings of the 14th international conference on Hybrid systems: computation and control",
 organization = "ACM",
 pages        = "311--312",
 doi          = "10.1145/1967701.1967746",
)
@article(lio2012osteomyelitis,
 author       = "P. Li\`o and N. Paoletti and M.A. Moni and K. Atwell and M. Merelli and Viceconti M.",
 year         = "2012",
 title        = "{Modelling osteomyelitis}",
 journal      = "BMC Bioinformatics, supplement on NETTAB 2011 workshop. To appear",
)
@book(lunze2009handbook,
 author       = "J. Lunze and F. Lamnabhi-Lagarrigue",
 year         = "2009",
 title        = "Handbook of hybrid systems control: theory, tools, applications",
 publisher    = "Cambridge University Press",
)
@article(norman2003developing,
 author       = "R. Norman and C. Shankland",
 year         = "2003",
 title        = "Developing the use of process algebra in the derivation and analysis of mathematical models of infectious disease",
 journal      = "Computer Aided Systems Theory-EUROCAST 2003",
 pages        = "404--414",
 doi          = "10.1007/978-3-540-45210-2\_37",
)
@inproceedings(paoletti2011,
 author       = "N. Paoletti and P. Li\`{o} and E. Merelli and M. Viceconti",
 year         = "2011",
 title        = "Osteoporosis: a multiscale modeling viewpoint",
 booktitle    = "Proceedings of the 9th International Conference on Computational Methods in Systems Biology (CMSB '11)",
 pages        = "183--193",
 doi          = "10.1145/2037509.2037536",
)
@article(paoletti2011spec,
 author       = "N. Paoletti and P. Li\`{o} and E. Merelli and M. Viceconti",
 year         = "2012",
 title        = "Multi-level Computational Modeling and Quantitative Analysis of Bone Remodeling",
 journal      = "IEEE/ACM Transactions on Computational Biology and Bioinformatics",
 volume       = "99",
 number       = "PrePrints",
 doi          = "10.1109/TCBB.2012.51",
)
@article(stone2000theoretical,
 author       = "L. Stone and B. Shulgin and Z. Agur",
 year         = "2000",
 title        = "Theoretical examination of the pulse vaccination policy in the SIR epidemic model",
 journal      = "Mathematical and Computer Modelling",
 volume       = "31",
 number       = "4",
 pages        = "207--215",
 doi          = "10.1016/S0895-7177(00)00040-6",
)
@article(suzuki2010piecewise,
 author       = "T. Suzuki and N. Bruchovsky and K. Aihara",
 year         = "2010",
 title        = "Piecewise affine systems modelling for optimizing hormone therapy of prostate cancer",
 journal      = "Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences",
 volume       = "368",
 number       = "1930",
 pages        = "5045--5059",
 doi          = "10.1098/rsta.2010.0220",
)
@book(viceconti2011multiscale,
 author       = "M. Viceconti",
 year         = "2011",
 title        = "Multiscale Modeling of the Skeletal System",
 publisher    = "Cambridge University Press",
 doi          = "10.1017/CBO9781139049627",
)