Construction and Analysis of Ground Models and their Refinements as a Foundation for Validating Computer Based Systems