xSADL: an architecture description language to specify component-based systems | IEEE Conference Publication | IEEE Xplore