Modelling Smart Buildings Using Fault Maintenance Trees. - Alessandro Abate; Carlos E. Budde; Nathalie Cauchi; Arnaud van Harmelen; Khaza Anuarul Hoque; Mariëlle Stoelinga (EPEW, 2018)