Writing about model checking, updating the comparison so that it is between 'ANIMO 1.0' and 'ANIMO 2.0'