Thread:Talk:Why have formal methods failed to breakthrough on the market for such a long time?/Extra ref

add paper "Formal methods start to add up again" also also showing the cyclic trend