@mastersthesis{JoaoFitas:msc,
  author = "Fitas, J.",
  month = oct,
  school = "Instituto Superior T\´{e}cnico, Universidade de Lisboa",
  title = "Detection of Invariant Violations in Microservices",
  year = "2024"
}