@TECHREPORT{LJCCMUCS06159,
  AUTHOR =       {Langmead, C.J. and Jha, S.K. and Clarke, E.M.},
  TITLE =        {Temporal Logics as Query Languages for Dynamic Bayesian Networks: Application To D. Melanogaster Embryo Development},
  INSTITUTION =  {Carnegie Mellon University},
  YEAR =         {2006},
  number =       {CMU-CS-06-159},
}