xBreeze/ADL: A language for software architecture specification and analysis. - Chen Li 009; Hong-Ji Yang; Mei-Yu Shi; Wei Zhu (Int. J. Autom. Comput., 2016)