Patterns in the Use of Formal Analysis in Strategic Decisions · Study