Formal Specification Economics: Measuring ROI of Spec Investment | Synapse