@inproceedings{JungHoefigDomisetal.2013, author = {Jessica Jung and Kai H{\"o}fig and Dominik Domis and Andreas Jedlitschka and Martin Hiller}, title = {Experimental comparison of two safety analysis methods and its replication}, booktitle = {2013 ACM / IEEE International Symposium on Empirical Software Engineering and Measurement, December 2013, Baltimore, MD, USA.}, pages = {223 -- 232}, year = {2013}, }