@misc{indiciae0163e9524bec,
  title = {Bounded Synthesis of Synchronized Distributed Models from Lightweight Specifications},
  author = {Pablo F. Castro and Luciano Putruele and Renzo Degiovanni and Nazareno Aguirre},
  year = {2025},
  url = {https://arxiv.org/abs/2502.13955},
  note = {Source identifier: 2502.13955}
}