Research article: Formal Specification Economics: Measuring ROI of Spec Investment
Oleh Ivchenko (Sat,) studied this question.