@misc{indiciaee49a8c41239d,
  title = {A Correct by Construction Fault Tolerant Voter for Input Selection of a Control System},
  author = {Arif Ali AP and Jasine Babu and Deepa Sara John},
  year = {2025},
  url = {https://arxiv.org/abs/2509.22236},
  note = {Source identifier: 2509.22236}
}