Assessment of Maintenance Policies for Smart Buildings: Application of Formal Methods to Fault Maintenance Trees