First release of the reasoning proof -of -concept

the proof-of-concept will include a first version of the automated models verification techniques (T4.2) and the first version of the multi-objective reasoning techniques (T4.3).