@INPROCEEDINGS{TeuberAngelsAndDemons2025,
  author={Samuel Teuber and
            Debasmita Lohar and
            Bernhard Beckert},
  booktitle={2025 Formal Methods in Computer-Aided Design (FMCAD)}, 
  title={Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision}, 
  year={2025},
  doi={10.48550/arXiv.2507.22760}
}