Verification & Validation of Object-Oriented Functional Design using Formal Specification Techniques