@conference{CauchiFMT,
  title = "Efficient Probabilistic Model Checking of Smart Building Maintenance using Fault Maintenance Trees",
  author = "Nathalie Cauchi and Khaza Anuarul Hoque and Alessandro Abate and Mariëlle Stoelinga",
  year = "2017",
  address = "New York, NY, USA",
  booktitle = "Proceedings of the 4th ACM International Conference on Systems for Energy-Efficient Built Environments",
  isbn = "978-1-4503-5544-5",
  journal = "In Proceedings of the 4th International Conference on Systems for Energy-Efficient Built Environments",
  keywords = "PRISM, building automation systems, fault maintenance trees, formal modelling, probabilistic model checking, reliability",
  location = "Delft, The Netherlands",
  month = "November",
  pages = "24:1--24:10",
  publisher = "ACM",
  series = "BuildSys '17",
  url = "https://dl.acm.org/citation.cfm?id=3137133.3137138",
  doi = "10.1145/3137133.3137138",
}