\input zb-basic \input zb-ioport \iteman{io-port 70744311} \itemau{Chen, Xiangping; Huang, Gang; Shao, Lingshuang} \itemti{Towards modeling and validating analysis processes for software adaptation} \itemso{SEKE, 547-552 (2011).} \itemcc{} \itemut{} \itemli{} \end