Yongdong Tan Lijun Yin Qingquan Qian Kinji Mori A Biologically Inspired Assurance Definition and Specification in Heterogeneous Autonomous Decentralized Systems. 63-70 2002 conf/hase/2002 HASE http://csdl.computer.org/comp/proceedings/hase/2002/1769/00/17690063abs.htm db/conf/hase/hase2002.html#TanYQM02