Quantitative evaluation of model consistency evolution in compositional service-oriented simulation using a connected hyper-digraph. - Linjun Fan; Yunxiang Ling; Xing-tao Zhang; Jun Tang (J. Zhejiang Univ. Sci. C, 2014)