Quality Assurance of Models and Analysis