Huiqun Yu Dongmei Liu Zhiqing Shao Xudong He Modeling Complex Software Systems Using an Aspect Extension of Object-Z. 11-16 2006 conf/seke/2006 SEKE db/conf/seke/seke2006.html#YuLSH06