@article{RNTI/papers/1000535,
  author    = {Michael Leuschel and Daniel Plagge},
  title     = {Seven at one stroke: LTL model checking for High-level Specifications in B, Z, CSP, and more},
  journal = {Modulad - Le Monde des Utilisateurs de L'Analyse de Données},
  volume = {Science des données, RNTI-A-9},
  year      = {2024},
  pages     = {73-84}
}