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

  Roberto Cavada <cavada@fbk.eu>
  Alessandro Cimatti <cimatti@fbk.eu>
  Michele Dorigatti <mdorigatti@fbk.eu>
  Alessandro Mariotti <mariotti@fbk.eu>
  Andrea Micheli <amicheli@fbk.eu>
  Sergio Mover <mover@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>
  Gavin Keighren <keighren@fbk.eu>
  Marco Pensallorto <pensallorto@fbk.eu>
  Marco Pistore <pistore@dit.unitn.it>
  Viktor Schuppan <schuppan@fbk.eu>
  Roberto Sebastiani <roberto.sebastiani@dit.unitn.it>
  Daniel Sheridan <dan.sheridan@contact.org.uk>
  Stefano Tonetta <tonettas@fbk.eu>
  Ashutosh Trivedi <ashutosh@cfdvs.iitb.ac.in>
