Nitsche, U.U.NitscheOchsenschläger, P.P.OchsenschlägerRepp, J.J.Repp2022-03-072022-03-071996https://publica.fraunhofer.de/handle/publica/288871enformal model005004The SH-verification toolreport