Describir: An institution for UML 2.0 state machines