Formal Modeling Self-Adaptive Intelligent Service Component Based on Extenics. - Rui Fan; Yuefeng Chen; S. C. Cao; Guibin Lei; C. Yue (Int. J. Online Eng., 2016)