Partially automatic generation of fault-trees with time dependencies | IEEE Conference Publication | IEEE Xplore