1 This software has been produced by the CerCo project: http://cerco.cs.unibo.it.
3 Copyright © 2010-2013 CerCo consortium.
4 The software is released under the terms of the GNU/GPL license.
6 The project CerCo acknowledges the financial support of the Future and Emerging Technologies (FET) programme within the Seventh Framework Programme for Research of the European Commission, under FET-Open grant number: 243881.