Precis: a design-time precision analysis tool | IEEE Conference Publication | IEEE Xplore