Zining Cao Modal ZIA, Modal Refinement Relation and Logical Characterization. 525-530 2012 SEKE conf/seke/2012 db/conf/seke/seke2012.html#Cao12