Modelling and Analysis of Fire Sprinklers by Verifying Dynamic Fault Trees | IEEE Conference Publication | IEEE Xplore