@conference{cauchi18phme,
  title = "Assessment of Maintenance Policies for Smart Buildings: Application of Formal Methods to Fault Maintenance Trees",
  author = "Alessandro Abate, Carlos E. Budde, Nathalie Cauchi, Khaza Anuarul Hoque and Mari\"{e}lle Stoelinga",
  year = "2018",
  booktitle = "Proceedings of the European Conference of the PHM Society",
  number = "1",
  organization = "PHM society",
  volume = "4",
}