Franck Xia A Generic OO Architecture Language for Semantics Analysis of OO Specification. 8-9 2004 conf/compsac/2004 COMPSAC Workshops http://csdl.computer.org/comp/proceedings/compsac/2004/2209/02/220920008.pdf db/conf/compsac/compsac2004-W.html#Xia04