Maintenance of Smart Buildings Using Fault Trees