Qing-Long Wang, Zhi-xue Wang, Ting-ting Zhang, Wei-xing Zhu. A quality requirements model and verification approach for system of systems based on description logic. Journal of Zhejiang University - Science C, 18(3):346-361, 2017. [doi]
Abstract is missing.