@misc{indiciae6b2598c6d950,
  title = {Automated Misconfiguration Repair of Configurable Cyber-Physical Systems with Search: an Industrial Case Study on Elevator Dispatching Algorithms},
  author = {Pablo Valle and Aitor Arrieta and Maite Arratibel},
  year = {2023},
  doi = {10.1109/icse-seip58684.2023.00042},
  url = {https://arxiv.org/abs/2301.01487},
  note = {Source identifier: 2301.01487}
}