@mastersthesis{BPalma:msc,
  author = "Palma, B.",
  month = nov,
  school = "Instituto Superior T\´{e}cnico, Universidade de Lisboa",
  title = "Byzantine Fault Tolerant Monitoring of Distributed Systems",
  year = "2017"
}