@mastersthesis{MPasadinhas:msc,
  author = "Pasadinhas, M.",
  month = nov,
  school = "Instituto Superior T\´{e}cnico, Universidade de Lisboa",
  title = "Policy-Based Adaptation of Byzantine Fault Tolerant Systems",
  year = "2017"
}