Towards a Formal Approach to Defining and Computing the Complexity of Component Based Software. - Yongxin Zhao; Xiujuan Zhang; Ling Shi; Gan Zeng; Feng Sheng; Shuang Liu 007 (APSEC, 2019)