A Systematic Inspection Approach to Verifying and Validating Formal Specifications based on Specification Animation and TraceabilityA Systematic Inspection Approach to Verifying and Validating Formal Specifications based on Specification Animation and Traceability