@misc{GuoHoefig2015, author = {Zhensheng Guo and Kai H{\"o}fig}, title = {Integrated Model-Based Safety Analysis}, institution = {Fakult{\"a}t f{\"u}r Informatik}, type = {other}, year = {2015}, }