BibTex format
@inproceedings{Bandara:2007,
author = {Bandara, A and Lobo, J and Calo, S and Lupu, E and Russo, A and Sloman, M},
pages = {1--9},
title = {Toward a Formal Characterization of Policy Specification & Analysis},
url = {http://www.usukita.org/?q=node/13},
year = {2007}
}