On the parallel refinement of NL requirements and UML diagrams