Ochsenschläger, P.P.OchsenschlägerRepp, J.J.ReppRieke, R.R.RiekeStruif, B.B.Struif2022-03-092022-03-092000https://publica.fraunhofer.de/handle/publica/336834en005004The SH-verification toolconference paper