@inproceedings{lowry-pressburger-rosu-2001-ase,
    author = "Lowry, Michael and Pressburger, Thomas and Rosu, Grigore",
    publisher = "IEEE",
    doi = "http://dx.doi.org/10.1109/ASE.2001.989793",
    title = "Certifying Domain-Specific Policies",
    booktitle = "Proceedings of 16th IEEE International Conference. Automated Software Engineering (ASE'01)",
    month = "May",
    year = "2001",
    pages = "81-90"
}