Modeling systems based on graphical formalisms, such as Statecharts, has become standard practice in the design of embedded devices. Using paradigms established so far often results in complex models that are difficult to comprehend and maintain. To overcome this, we present a methodology to...