@misc{hublet2024enforcement,
      title={Proactive Real-Time First-Order Enforcement}, 
      author={François Hublet and Leonardo Lima and David Basin and Srđan Krstić and Dmitriy Traytel},
      year={2024},
      booktitle    = {36th International Conference on Computer Aided Verification ({CAV})},
      series       = {Lecture Notes in Computer Science},
      publisher    = {Springer},
}