Using Formal Methods to Design Measuring Systems | IEEE Conference Publication | IEEE Xplore