Model engineering is an important activity within the design flow of in- grated circuits and signal processing systems. This activity is not new at all in computer engineering, however, and takes a central role in practice. Model engineering of digital systems is based on agreed concepts of abstraction - erarchies for design object representations as well as the expressive power of hardware description languages (HDL). Since their gradual introduction...