@misc{indiciae0c3799c9b05a,
  title = {Preparing for Super-Reactivity: Early Fault-Detection in the Development of Exceedingly Complex Reactive Systems},
  author = {David Harel and Assaf Marron},
  year = {2024},
  doi = {10.5220/0013369200003896},
  url = {https://arxiv.org/abs/2410.02627},
  note = {Source identifier: 2410.02627}
}