[ABC+18] Alessandro Abate, Carlos Budde, Nathalie Cauchi, Khaza Anuarul Hoque and Mariëlle Stoelinga. Assessment of Maintenance Policies for Smart Buildings: Application of Formal Methods to Fault Maintenance Trees. In Proc. 4th European Conference of the Prognostics and Health Management Society (PHME'18). 2018. [Formally analyses maintenance policies for smart buildings using a variety of verification tools, including PRISM.]