Grabowski, J.2022-03-022022-03-0220053-540-25109-Xhttps://publica.fraunhofer.de/handle/publica/142527Formal approaches to software testing