A graphical variant approach to object-oriented modeling of dynamic systems