BibTex format
@inproceedings{Schaeffer:2009:10.1109/POLICY.2009.24,
author = {Schaeffer, Filho A and Lupu, E and Sloman, M and Eisenbach, S},
doi = {10.1109/POLICY.2009.24},
pages = {37--40},
publisher = {IEEE},
title = {Verification of Policy-based Self-Managed Cell Interactions Using Alloy},
url = {http://dx.doi.org/10.1109/POLICY.2009.24},
year = {2009}
}