@article{aformalmethodsapproachtopattern,
  title = {A Formal Methods Approach to Pattern Synthesis in Reaction Diffusion Systems},
  author = {Ebru Aydin Gol and Ezio Bartocci and Calin Belta},
  year = {2014},
  eprint = {1409.5671},
  archivePrefix = {arXiv},
  url = {http://arxiv.org/abs/1409.5671v1},
}