Zonghua Li Xiaofeng Zhou Aihua Gu Qinfeng Li A complete approach for CIM modelling and model formalising. 39-55 2015 65 Inf. Softw. Technol. https://doi.org/10.1016/j.infsof.2015.04.003 db/journals/infsof/infsof65.html#LiZGL15