Text this: Specification of vertical semantic consistency rules of UML class diagram refinement using logical approach /