Verification of Policy-Based Self-Managed Cell Interactions Using Alloy. - Filho, Alberto E. Schaeffer; Lupu, Emil C.; Sloman, Morris; Eisenbach, Susan (2009)