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