Putting Formal Specifications under the Magnifying Glass: Model-based Testing for Validation