Final release of the reasoning proof-of-concept

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