Tight Structuring for Precise UML-based Requirement Specifications