@InProceedings{CAV02,
  author =       {A. Cimatti and E. Clarke and E. Giunchiglia and F. Giunchiglia and M. Pistore and M. Roveri and R. Sebastiani and A. Tacchella},
  title =        {{NuSMV Version 2: An OpenSource Tool for Symbolic Model Checking}},
  booktitle =    {Proc. International Conference on Computer-Aided Verification (CAV 2002)},
  month = {July},
  year =         {2002},
  address =      {Copenhagen, Denmark},
  volume =       {2404},
  series =       {LNCS},
  publisher = {Springer}
}