Visual Analysis of Hyperproperties for Understanding Model Checking Results. - Tom Horak; Norine Coenen; Niklas Metzger 001; Christopher Hahn; Tamara Flemisch; Julián Méndez 001; Dennis Dimov; Bernd Finkbeiner; Raimund Dachselt (IEEE Trans. Vis. Comput. Graph., 2022)