Along with the system design, detailed numerical models (e.g. control models, mathematical models, data constraints) can be added into the analytical framework to decrease the uncertainty of simulation results. In this process, the qualitative models should be validated to ensure consistency with numerical models. During this process, the expressions of propositional logics and linear temporal logics are replaced by High Order Logics. An example of numerical model implementation is demonstrated in