Nguyen Truong Thang Takuya Katayama Constructing Open Systems via Consistent Components. 517-531 2005 conf/ictac/2005 ICTAC http://dx.doi.org/10.1007/11560647_34 db/conf/ictac/ictac2005.html#ThangK05