Formal Methods for Industrial Critical Systems | lit.salon