@TECHREPORT{LangmeadTRCMUCS09110,
  AUTHOR =       {Jha, S.K. and Clarke, E.M. and Langmead, C.J. and Platzer, A. and Zuliani, P.},
  TITLE =        {Bayesian Sequential Model Checking},
  INSTITUTION =  {Carnegie Mellon University, Department of Computer Science},
  YEAR =         {2009},
  number =       {CMU-CS-09-110},
}