Ruijters, et al.. Fault Maintenance Trees: Reliability Centered Maintenance via Statistical Model Checking. IEEE, 2016, doi:10.1109/rams.2016.7447986.