Text this: Human Factor of Formal Engineering Methods in Validating Requirement Specification