A formal framework for modelling component extension and layers in distributed embedded systemsStefan ForsterSold outTrack