A model and methodology for composition QoS analysis of embedded systems | IEEE Conference Publication | IEEE Xplore