Title: A formal framework for modelling component extension and layers in distributed embedded systems
Subjects: Electronic data processing, Embedded computer systems, Distributed processing, Design and construction