Hutter, D.2022-03-022022-03-0219993-540-66462-9https://publica.fraunhofer.de/handle/publica/134924Applied formal methods - FM trends 98