@InProceedings{CC+02,
    Author       = "Cimatti, A. and Clarke, E. and Giunchiglia, E. and
                    Giunchiglia, F. and Pistore, M. and Roveri, M. and
                    Sebastiani, R. and Tacchella, A.",
    Year         = "2002",
    Title        = "{NuSMV 2: An OpenSource Tool for Symbolic Model Checking}",
    Editor       = "Larsen, K. and Brinksma, E.",
    BookTitle    = "{Proceedings of the 14th International Conference on
                    Computer-Aided Verification}",
    Place        = "Copenhagen, Denmark",
    Series       = "Lecture Notes in Computer Science",
    Number       = "2404",
    Pages        = "241-268",
    Publisher    = "Springer-Verlag",
    Comment      = ""
}