@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" }