@misc{HoefigZeller2016, author = {Kai H{\"o}fig and Marc Zeller}, title = {Automated Qualification of a Safety Critical System}, institution = {Fakult{\"a}t f{\"u}r Informatik}, type = {other}, year = {2016}, }