Gravar-mail: ADMIT: a toolbox for guaranteed model invalidation, estimation and qualitative–quantitative modeling