Correctness Properties and Exemplified Applicability of a Signal Matching Algorithm with Multidimensional Tolerance Specifications. - David Thönnessen; Niklas Reinker; Stefan Rakel; Andrei Svetlakov; Stefan Kowalewski (CASE, 2018)