Object-oriented modeling languages, tools, and methods are attracting the interest of embedded (real-time) system developers. This is especially true if embedded (real-time) system software has to ...