Correctness Properties and Exemplified Applicability of a Signal Matching Algorithm with Multidimensional Tolerance Specifications | IEEE Conference Publication | IEEE Xplore