Förster, Stefan Dr.-Ing.

• A formal framework for modelling component extension and layers in distributed embedded systems