@Article{BBC+09,
  author =       "J. Barnat and L. Brim and I. {\v{C}}ern\'{a} and S. Dra\v{z}an and J. Fabrikov\'{a} and D. {\v{S}}afr\'{a}nek",
  title =        "{On algorithmic analysis of transcriptional regulation by LTL model checking}",
  journal =      "Theor. Comput. Sci.",
  volume =       "410",
  number =       "33-34",
  pages =        "3128--3148",
  year =         "2009",
  doi =          "http://dx.doi.org/10.1016/j.tcs.2009.02.017",
  url =          "http://dx.doi.org/10.1016/j.tcs.2009.02.017"
}