@InProceedings{KT14,
  author =       {M. Kwiatkowska and C. Thachuk},
  title =        {Probabilistic Model Checking for Biology},
  booktitle =    {Software Safety and Security},
  year =         {2014},
  editor =       {},
  pages =        {},
  organization = {},
  publisher =    {IOS Press},
  series =       {NATO Science for Peace and Security Series - D:
                  Information and Communication Security},
  volume =       {},
  address =      {},
  month =        {},
  note =         {To appear},
  key =          {}
}