Smart Maintenance via Dynamic Fault Tree Analysis: A Case Study on Singapore MRT System | IEEE Conference Publication | IEEE Xplore