@ARTICLE{Clarke08,
  AUTHOR =       {Clarke, E.M. and Faeder, J.R. and  Harris, L.A. and Langmead, C.J. and  Legay, A. and Jha, S.K.},
  TITLE =        {Statistical Model Checking in BioLab: Application to the automated analysis of the T-Cell Receptor Signalling Pathway},
  JOURNAL =      {Proc. 6th Conf. on Computational Methods in Systems Biology, (CMSB)},
  YEAR =         {2008},
  pages =        {231-250},
}