@article{ballarini2015genetic,
  author    = {Ballarini, Paolo and Duflot, Marie},
  title     = {Applications of an expressive statistical model checking approach to the analysis of genetic circuits},
  journal   = {Theoretical Computer Science},
  volume    = {599},
  pages     = {4--33},
  year      = {2015},
}