Describir: On UML statechart with variabilities