Defining an annex language to the architecture analysis and design language for requirements engineering activities support | IEEE Conference Publication | IEEE Xplore