@misc(SB:SBMLwebsite,
 title        = "SBML website",
 note         = "\url {http://www.sbml.org}",
)
@article(BIO:CANCER:Abrahamsson:2010:IASprostateCancerReview,
 author       = "P.A. Abrahamsson",
 year         = "2010",
 title        = "Potential benefits of intermittent androgen suppression therapy in the treatment of prostate cancer: a systematic review of literature.",
 journal      = "Eur Urol",
 volume       = "57",
 pages        = "49--59",
 doi          = "10.1016/j.eururo.2009.07.049",
)
@article(PA:Bernardo:1998:EMPAtcs,
 author       = "M. Bernardo and R. Gorrieri",
 year         = "1998",
 title        = "A tutorial on EMPA: a theory of concurrent processes with nondeterminism, priorities, probabilities and time",
 journal      = "Theoret. Comput. Sci.",
 volume       = "202",
 pages        = "1–--54",
 doi          = "10.1016/S0304-3975(97)00127-8",
)
@misc(My2011COMPMODsupp,
 title        = "Supplementary Material",
 note         = "\url {http://www.dmi.units.it/\~bortolu/files/COMPMOD2011supp.pdf}",
)
@article(SB:Bortolussi:2008:BiomodelingSCCP:Journal,
 author       = "L. Bortolussi and A. Policriti",
 year         = "2008",
 title        = "Modeling Biological Systems in Concurrent Constraint Programming",
 journal      = "Constraints",
 volume       = "13",
 number       = "1",
 doi          = "10.1007/s10601-007-9034-8",
)
@article(PA:Bortolussi:2009:SCCPandODEjournal,
 author       = "L. Bortolussi and A. Policriti",
 year         = "2009",
 title        = "Dynamical systems and stochastic programming --- from Ordinary Differential Equations and back",
 journal      = "T. Comp. Sys. Bio.",
 volume       = "XI",
 pages        = "216-267",
 doi          = "10.1007/978-3-642-04186-0\_11",
)
@inproceedings(SB:Bortolussi:2009:CompMod,
 author       = "L. Bortolussi and A. Policriti",
 year         = "2009",
 title        = "Hybrid Semantics of Stochastic Programs with Dynamic Reconfiguration",
 booktitle    = "Proc. of CompMod",
 doi          = "10.4204/EPTCS.6.5",
)
@inproceedings(SB:Bortolussi:2009:BioLogic,
 author       = "L. Bortolussi and A. Policriti",
 year         = "2009",
 title        = "Tales of Spatiality in stochastic Concurrent Constraint Programming",
 booktitle    = "Proc. of Bio-Logic",
)
@article(PA:Bortolussi:2010:HybridDynamicsStochProg:TCS,
 author       = "L. Bortolussi and A. Policriti",
 year         = "2010",
 title        = "Hybrid Dynamics of Stochastic Programs",
 journal      = "Theor. Comp. Sc.",
 volume       = "411",
 number       = "20",
 pages        = "2052-2077",
 doi          = "10.1016/j.tcs.2010.02.008",
)
@article(BIO:CANCER:Brawer:2006:HormonalTherapyProstate,
 author       = "M. K. Brawer",
 year         = "2006",
 title        = "Hormonal Therapy for Prostate Cancer",
 journal      = "Rev Urol",
 volume       = "8",
 pages        = "S35--S47",
)
@article(SB:Ciocchetta:2009:BioPEPAevents,
 author       = "F. Ciocchetta",
 year         = "2009",
 title        = "{Bio-PEPA} with Events",
 journal      = "T. Comp. Sys. Bio.",
 volume       = "11",
 pages        = "45--68",
 doi          = "10.1007/978-3-642-04186-0\_3",
)
@inbook(SB:HillstonCiocchetta:2008:ProcessAlgebraSysBio,
 author       = "F. Ciocchetta and J. Hillston",
 year         = "2008",
 title        = "Formal methods for computational systems biology",
 chapter      = "Process algebras in systems biology",
 pages        = "265--312",
 publisher    = "Springer-Verlag",
 doi          = "10.1007/978-3-540-68894-5\_8",
)
@article(SB:HillstonCiocchetta:2009:bioPEPA,
 author       = "F. Ciocchetta and J. Hillston",
 year         = "2009",
 title        = "Bio-PEPA: A framework for the modelling and analysis of biological systems",
 journal      = "Theor. Comp. Sc.",
 volume       = "410",
 number       = "33-34",
 pages        = "3065 -- 3084",
 doi          = "10.1016/j.tcs.2009.02.037",
)
@book(STOC:Davis:1993:PDMP,
 author       = "M.H.A. Davis",
 year         = "1993",
 title        = "Markov Models and Optimization",
 publisher    = "Chapman \& Hall",
)
@book(PA:Balbo:1995:ModelingGSPN,
 author       = "M. Ajmone Marsan and G. Balbo and G. Conte and S. Donatelli and G. Franceschinis",
 year         = "1995",
 title        = "Modelling with Generalized Stochastic Petri Nets",
 publisher    = "Wiley",
)
@article(SB:Gillespie:2000:ChemicalLangevinEquation,
 author       = "D. Gillespie",
 year         = "2000",
 title        = "The chemical Langevin equation",
 journal      = "Journal of Chemical Physics",
 volume       = "113",
 number       = "1",
 pages        = "297--306",
 doi          = "10.1063/1.481811",
)
@article(SB:Gillespie:1977:gillespieAlgorithm,
 author       = "D.T. Gillespie",
 year         = "1977",
 title        = "Exact Stochastic Simulation of Coupled Chemical Reactions",
 journal      = "J. of Phys. Chem.",
 volume       = "81",
 number       = "25",
 doi          = "10.1021/j100540a008",
)
@article(PA:Hermanns:2000:PAforPerformanceEvaluation,
 author       = "H. Hermanns and U. Herzog and J.P. Katoen",
 year         = "2002",
 title        = "Process algebra for performance evaluation",
 journal      = "Theor. Comp. Sci.",
 volume       = "274",
 number       = "1-2",
 pages        = "43--87",
 doi          = "10.1016/S0304-3975(00)00305-4",
)
@article(SB:Aihara:2008:prostateIAS,
 author       = "A.M. Ideta and G. Tanaka and T. Takeuchi and K. Aihara",
 year         = "2008",
 title        = "A mathematical model of intermittent androgen suppression for prostate cancer",
 journal      = "Nonlinear Science",
 volume       = "18",
 pages        = "593--614",
 doi          = "10.1007/s00332-008-9031-0",
)
@article(SB:Jackson:2004:prostateModelCAS,
 author       = "T. L. Jackson",
 year         = "2004",
 title        = "A mathematical model of prostate tumor growth and androgen-independent relapse",
 journal      = "Disc Cont Dyn Sys B",
 volume       = "4",
 pages        = "187--201",
 doi          = "10.3934/dcdsb.2004.4.187",
)
@inproceedings(SbZuliani2009BayesianStatisticalMC,
 author       = "S.K. Jha and E.M. Clarke and C.J. Langmead and A. Legay and A. Platzer and P. Zuliani",
 year         = "2009",
 title        = "A Bayesian Approach to Model Checking Biological Systems",
 booktitle    = "Proc. of the CMSB",
 pages        = "218--234",
 doi          = "10.1007/978-3-642-03845-7\_15",
)
@inproceedings(SB:Lecca:2011:TumorShrinkage,
 author       = "P. Lecca and O. Kahramanogullari and D. Morpurgo and C. Priami and R. Soo",
 year         = "2011",
 title        = "Modelling the tumor shrinkage pharmacodynamics with BlenX",
 booktitle    = "Proc. of ICCABS",
 doi          = "10.1109/UKSIM.2011.24",
)
@article(SB:Mazza:2009:TumorGrowthP,
 author       = "T. Mazza and M. Cavaliere",
 year         = "2009",
 title        = "Cell Cycle and Tumor Growth in Membrane Systems with Peripheral Proteins",
 journal      = "Electron. Notes Theor. Comput. Sci.",
 volume       = "227",
 pages        = "127--141",
 doi          = "10.1016/j.entcs.2008.12.108",
)
@inbook(PA:Mode:2005:SemiMarkovProcesses,
 author       = "C.J. Mode",
 year         = "2005",
 title        = "Semi-Markov Processes",
 publisher    = "John Wiley \& Sons, Ltd",
)
@book(STOC:Norris:1997:MarkovChains,
 author       = "J. R. Norris",
 year         = "1997",
 title        = "Markov Chains",
 publisher    = "Cambridge University Press",
)
@article(BIO:CANCER:Rao:2008:PSAdiscovery,
 author       = "A.R. Rao and H.G. Motiwala and O.M.A. Karim",
 year         = "2008",
 title        = "The discovery of Prostate-Specific Antigen",
 journal      = "BJU Int.",
 volume       = "101",
 pages        = "5--10",
 doi          = "10.1111/j.1464-410X.2007.07138.x",
)
@article(StocSkulj2009ImpreciseMC,
 author       = "D. Skulj",
 year         = "2009",
 title        = "Discrete time Markov chains with interval probabilities",
 journal      = "Int. J. Approx. Reasoning",
 volume       = "50",
 number       = "8",
 pages        = "1314--1329",
 doi          = "10.1016/j.ijar.2009.06.007",
)
@article(SB:Aihara:2010:prostateRoyalSoc,
 author       = "G. Tanaka and Y. Hirata and S.L. Goldenberg and N. Bruchovsky and K. Aihara",
 year         = "2010",
 title        = "Mathematical modelling of prostate cancer growth and its application to hormone therapy",
 journal      = "Phyl Trans Royal Soc A",
 volume       = "368",
 pages        = "5029--5044",
 doi          = "10.1098/rsta.2010.0221",
)
@book(SB:Wilkinson:2006:StochasticModellingSB,
 author       = "D. J. Wilkinson",
 year         = "2006",
 title        = "Stochastic Modelling for Systems Biology",
 publisher    = "Chapman \& Hall",
)