Interesting article with references to TLA+/PlusCal. I really should pick those languages up.
«The first step in modernization is building a team that will be excited about the archaeology. Automation misapplied can double or triple the amount of work needed to produce a functioning application. If your team sees the metawork as something to just get through, they are unlikely to apply automation smartly.»
Defusing COBOL Bombs with Smart Automation