@inproceedings{rosu-chen-2003-ase, title={Certifying Measurement Unit Safety Policy}, booktitle={Proceedings, International Conference on Automated Software Engineering (ASE'03)}, publisher={IEEE press}, author={Grigore Ro\c{s}u and Feng Chen}, pages={304 - 309}, year={2003} }