Nevertheless, I already see room for improvement, mainly in the area of linking static uml classes to dynamic model elements such as action states (although MagicDraw allows it) and defining more strict modeling rules (as you probably know, everybody hs a different idea on how something should be modeled).