First release

The software is functional, and a set of tests based on statistical model checking have been performed with success