Results from quantitative analysis logic models are validated by