Using Formal Methods to Design Measuring Systems - Lukaszewski, R.; Winiecki, W. (2005 IEEE Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications, Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications, 2005. IDAACS 2005. IEEE, 2005)