@inproceedings{rosu-chen-2003-ase,
    author = "Ro\c{s}u, Grigore and Chen, Feng",
    publisher = "IEEE",
    doi = "http://doi.ieeecomputersociety.org/10.1109/ASE.2003.10002",
    title = "Certifying Measurement Unit Safety Policy",
    booktitle = "Proceedings of the 18th IEEE International Conference on Automated Software Engineering (ASE'03)",
    month = "October",
    year = "2003",
    pages = "304-309"
}