Zhiming Chang XinJun Mao Zhichang Qi Formal Analysis of Architectural Policies of Self-Adaptive Software by Bigraph. 118-123 2008 ICYCS http://dx.doi.org/10.1109/ICYCS.2008.213 conf/icycs/2008 db/conf/icycs/icycs2008.html#ChangMQ08