Unification of verification and validation methods for software systems: progress report and initial case study formulation.