@article(AE98,
 author       = "Paul C. Attie and E. Allen Emerson",
 year         = "1998",
 title        = "Synthesis of concurrent systems with many similar processes",
 journal      = "ACM Transactions on Programming Languages and Systems",
 volume       = "20",
 number       = "1",
 pages        = "51--115",
 doi          = "10.1145/271510.271519",
)
@article(1231124,
 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-3",
 pages        = "21--35",
)
@article(DBLP:journals/iandc/BurchCMDH92,
 author       = "Jerry R. Burch and Edmund M. Clarke and Kenneth L. McMillan and David L. Dill and L. J. Hwang",
 year         = "1992",
 title        = "Symbolic Model Checking: $10^{20}$ States and Beyond",
 journal      = "Information and Computation",
 volume       = "98",
 number       = "2",
 pages        = "142--170",
 doi          = "10.1016/0890-5401(92)90017-A",
)
@article(Cardelli:2005fk,
 author       = "Luca Cardelli",
 year         = "2005",
 title        = "Brane Calculi",
 journal      = "Computational Methods in Systems Biology",
 pages        = "257--278",
 doi          = "10.1007/978-3-540-25974-9_24",
)
@inproceedings(CAV02,
 author       = "Alessandro Cimatti and Edmund Clarke and Enrico Giunchiglia and Fausto Giunchiglia and Marco Pistore and Marco Roveri and Roberto Sebastiani and Armando Tacchella",
 year         = "2002",
 title        = "{NuSMV} Version 2: An OpenSource Tool for Symbolic Model Checking",
 booktitle    = "Proc. International Conference on Computer-Aided Verification (CAV 2002)",
 series       = "LNCS",
 volume       = "2404",
 publisher    = "Springer",
 address      = "Copenhagen, Denmark",
 pages        = "241--268",
 doi          = "10.1007/3-540-45657-0_29",
)
@article(1570750,
 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-34",
 pages        = "3065--3084",
 doi          = "10.1016/j.tcs.2009.02.037",
)
@article(186051,
 author       = "Edmund M. Clarke and Orna Grumberg and David E. Long",
 year         = "1994",
 title        = "Model checking and abstraction",
 journal      = "ACM Transactions on Programming Languages and Systems",
 volume       = "16",
 number       = "5",
 pages        = "1512--1542",
 doi          = "10.1145/186025.186051",
)
@book(Clarke99,
 author       = "Edmund M. Clarke and Orna Grumberg and Doron Peled",
 year         = "1999",
 title        = "Model Checking",
 publisher    = "MIT Press",
)
@article(1041036,
 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",
)
@inproceedings(DrabikNCMA10,
 author       = "Peter Dr{\'a}bik and Andrea Maggiolo-Schettini and Paolo Milazzo",
 year         = "2010",
 title        = "Dynamic Sync-programs for Modular Verification of Biological Systems",
 booktitle    = "2nd Int. Workshop on Non-Classical Models of Automata and applications (NCMA'10)",
 volume       = "263",
 publisher    = "Austrian Computer Society",
 address      = "Jena, Germany",
 pages        = "71--83",
)
@article(DrabikENTCS10,
 author       = "Peter Dr{\'a}bik and Andrea Maggiolo-Schettini and Paolo Milazzo",
 year         = "2010",
 title        = "Modular Verification of Interactive Systems with an Application to Biology",
 journal      = "Electronic Notes in Theoretical Computer Science",
 volume       = "268",
 pages        = "61--75",
 doi          = "10.1016/j.entcs.2010.12.006",
)
@article(DrabikSACS11,
 author       = "Peter Dr\'{a}bik and Andrea Maggiolo-Schettini and Paolo Milazzo",
 year         = "2011",
 title        = "Modular Verification of Interactive Systems with an Application to Biology",
 journal      = "Scientific Annals of Computer Science",
 volume       = "21",
 pages        = "39--72",
)
@article(EL87,
 author       = "E. Allen Emerson and Chin-Laung Lei",
 year         = "1987",
 title        = "Modalities for model checking: branching time logic strikes back",
 journal      = "Science of Computer Programming",
 volume       = "8",
 pages        = "275--306",
 doi          = "10.1016/0167-6423(87)90036-0",
)
@article(Fages04modellingand,
 author       = "Fran{\c c}ois Fages and Sylvain Soliman and Nathalie Chabrier-Rivier",
 year         = "2004",
 title        = "Modelling and querying interaction networks in the biochemical abstract machine biocham",
 journal      = "Journal of Biological Physics and Chemistry",
 volume       = "4",
 pages        = "64--73",
)
@article(1342619,
 author       = "John Heath and Marta Kwiatkowska and Gethin Norman and David Parker and Oksana Tymchyshyn",
 year         = "2008",
 title        = "Probabilistic model checking of complex biological pathways",
 journal      = "Theoretical Computer Science",
 volume       = "391",
 number       = "3",
 pages        = "239--257",
 doi          = "10.1016/j.tcs.2007.11.013",
)
@article(Monteiro:2008ft,
 author       = "Pedro T. Monteiro and Delphine Ropers and Radu Mateescu and Ana T. Freitas and Hidde de Jong",
 year         = "2008",
 title        = "Temporal logic patterns for querying dynamic models of cellular interaction networks",
 journal      = "Bioinformatics",
 volume       = "24",
 number       = "16",
 pages        = "227--233",
 doi          = "10.1093/bioinformatics/btn275",
)
@article(ltl,
 author       = "Amir Pnueli",
 year         = "1981",
 title        = "The temporal semantics of concurrent programs",
 journal      = "Theoretical Computer Science",
 volume       = "13",
 number       = "1",
 pages        = "45 -- 60",
 doi          = "10.1016/0304-3975(81)90110-9",
)
@article(513277,
 author       = "Corrado Priami and Aviv Regev and Ehud Shapiro and William Silverman",
 year         = "2001",
 title        = "Application of a stochastic name-passing calculus to representation and simulation of molecular processes",
 journal      = "Information Processing Letters",
 volume       = "80",
 number       = "1",
 pages        = "25--31",
 doi          = "10.1016/S0020-0190(01)00214-9",
)
@article(citeulike:1180143,
 author       = "Aviv Regev and Ekaterina M. Panina and William Silverman and Luca Cardelli and Ehud Shapiro",
 year         = "2004",
 title        = "BioAmbients: an abstraction for biological compartments",
 journal      = "Theoretical Computer Science",
 volume       = "325",
 number       = "1",
 pages        = "141--167",
 doi          = "10.1016/j.tcs.2004.03.061",
)
@article(egf-reduced,
 author       = "Birgit Schoeberl and Claudia Eichler-Jonsson and Ernst Dieter Gilles and Gertraud Muller",
 year         = "2002",
 title        = "Computational modeling of the dynamics of the MAP kinase cascade activated by surface and internalized EGF receptors",
 journal      = "Nature Biotechnology",
 volume       = "20",
 number       = "4",
 pages        = "370--375",
 doi          = "10.1038/nbt0402-370",
)