Formal Methods in the Enterprise