From Natural Language Requirements to Object Oriented Specification: a Case Study