Inhibiting factors, market structure and the industrial uptake of formal methods