Supplementary Material for "Formal methods in dependable systems engineering: a survey of professionals from Europe and North America"

This report contains supplemental material for this paper, including a detailed analysis of responses to certain questions, further visualizations of the collected data, details on our analysis of related work, and a copy of the whole questionnaire. This material was shared for the period of peer review and has been significantly updated, extended, and included in this journal publication.