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

  Roberto Cavada <cavada@fbk.eu>
  Alessandro Cimatti <cimatti@fbk.eu>
  Gavin Keighren <keighren@fbk.eu>
  Marco Roveri <roveri@fbk.eu>
  Andrei Tchaltsev <tchaltsev@fbk.eu>


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

  Marco Bozzano <bozzano@fbk.eu>
  Rik Eshuis <eshuis@cs.utwente.nl>
  Tommi Junttila <junttila@fbk.eu>
  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>
