The NUSMV development team:
--------------------------

  Roberto Cavada <cavada@irst.itc.it>
  Alessandro Cimatti <cimatti@irst.itc.it>
  Gavin Keighren <keighren@irst.itc.it>
  Marco Roveri <roveri@irst.itc.it>
  Andrei Tchaltsev <tchaltsev@irst.itc.it>


Contributors:
------------

  Marco Bozzano <bozzano@irst.itc.it>
  Rik Eshuis <eshuis@cs.utwente.nl>
  Tommi Junttila <junttila@irst.itc.it>
  Marco Pistore <pistore@dit.unitn.it>
  Roberto Sebastiani <roberto.sebastiani@dit.unitn.it>
  Daniel Sheridan <dan.sheridan@contact.org.uk>
  Ashutosh Trivedi <ashutosh@cfdvs.iitb.ac.in>
