@misc{indiciaee1fee0f93047,
  title = {High-Level Message Sequence Charts: Satisfiability and Realizability Revisited},
  author = {Benedikt Bollig and Marie Fortin and Paul Gastin},
  year = {2025},
  url = {https://arxiv.org/abs/2504.19814},
  note = {Source identifier: 2504.19814}
}