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