Automated conversion from requirements documentation to an object-oriented formal specification language