A Systematic Literature Review on a Decade of Industrial TLA+ Practice. - Roman Bögli; Leandro Lerena; Christos Tsigkanos; Timo Kehrer (IFM, 2024)

A Systematic Literature Review on a Decade of Industrial TLA+ Practice. - Roman Bögli; Leandro Lerena; Christos Tsigkanos; Timo Kehrer (CoRR, 2024)