@inproceedings{gutierrez2018eve,
  title = "EVE: A tool for temporal equilibrium analysis",
  author = "Gutierrez, Julian and Najib, Muhammad and Perelli, Giuseppe and Wooldridge, Michael",
  year = "2018",
  booktitle = "ATVA",
  url = "https://valvestate.github.io/files/atva18.pdf",
}