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)

Temporal Logics Meet Real-World Software Requirements: A Reality Check. - Roman Bögli; Atefeh Rohani; Thomas Studer; Christos Tsigkanos; Timo Kehrer (FormaliSE, 2025)

Beyond Software Families: Community-Driven Variability. - Roman Bögli; Alexander Boll; Alexander Schultheiß; Timo Kehrer (SIGSOFT FSE Companion, 2025)