@inproceedings{2009_icfem_spl,
  address = {Berlin, Heidelberg},
  author = {Anil Madhavapeddy},
  booktitle = {Formal Methods and Software Engineering},
  doi = {10.1007/978-3-642-10373-5\_23},
  editor = {Breitman, Karin and Cavalcanti, Ana},
  month = {nov},
  pages = {446--465},
  publisher = {Springer},
  title = {Combining Static Model Checking with Dynamic Enforcement Using the Statecall Policy Language},
  url = {http://link.springer.com/10.1007/978-3-642-10373-5\_23},
  volume = {5885},
  year = {2009}}