A formal framework for modelling component extension and layers in distributed embedded systemsStefan ForsterSold out4.3Track