Embedded systems usually need only a UML core subset, consisting of use cases, classes and objects, and statecharts. In recent years, the Unified Modeling Language (UML) has been successfully used ...