Text this: A method for obtaining formal software specifications from knowledge representation languages