Comment on: Computer-aided Synthesis of Fault-trees | IEEE Journals & Magazine | IEEE Xplore