@inproceedings{DBLP:conf/pads/PotierSM13,
  author    = {Martin Potier and
               Antoine Spicher and
               Olivier Michel},
  editor    = {Margaret L. Loper and
               Gabriel A. Wainer},
  title     = {Topological computation of activity regions},
  booktitle = {{SIGSIM} Principles of Advanced Discrete Simulation, {SIGSIM-PADS}
               '13, Montreal, QC, Canada, May 19-22, 2013},
  pages     = {337--342},
  publisher = {{ACM}},
  year      = {2013},
  url       = {http://doi.acm.org/10.1145/2486092.2486136},
  doi       = {10.1145/2486092.2486136},
  timestamp = {Fri, 26 Sep 2014 14:02:17 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/pads/PotierSM13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@article{Chilton2014146,
title = "An algebraic theory of interface automata ",
journal = "Theoretical Computer Science ",
volume = "549",
number = "",
pages = "146 - 174",
year = "2014",
note = "",
issn = "0304-3975",
doi = "http://dx.doi.org/10.1016/j.tcs.2014.07.018",
url = "http://www.sciencedirect.com/science/article/pii/S0304397514005611",
author = "Chris Chilton and Bengt Jonsson and Marta Kwiatkowska",
keywords = "Component-based design",
keywords = "Interfaces",
keywords = "Specification theory",
keywords = "Compositionality",
keywords = "Refinement",
keywords = "Substitutivity",
keywords = "Synthesis "
}

@article{rozenbergzoom2014,
author = {EHRENFEUCHT, ANDRZEJ and ROZENBERG, GRZEGORZ},
title = {ZOOM STRUCTURES AND REACTION SYSTEMS YIELD EXPLORATION SYSTEMS},
journal = {International Journal of Foundations of Computer Science},
volume = {25},
number = {03},
pages = {275-305},
year = {2014},
doi = {10.1142/S0129054114500142},

URL = {http://www.worldscientific.com/doi/abs/10.1142/S0129054114500142},
eprint = {http://www.worldscientific.com/doi/pdf/10.1142/S0129054114500142}
}

@misc{wholecell,
  title = {Whole-cell modelling web page},
  howpublished = {\url{http://www.wholecell.org/}}
}

@misc{combio,
  title = {Combio web page},
  howpublished = {\url{http://combio.abo.fi/}}
}