Formal Engineering for Industrial Software Development | lit.salon