Industrial-Strength Formal Methods in Practice | lit.salon