Systematic design of embedded control systems composing models of system structure and behavior - Weber, Matthias (GMD-Bericht ;, 1997)