Jan Magott Pawel Skrobanek Partially automatic generation of fault-trees with time dependencies. 43-50 2006 conf/depcos/2006 DepCoS-RELCOMEX http://doi.ieeecomputersociety.org/10.1109/DEPCOS-RELCOMEX.2006.40 db/conf/depcos/depcos2006.html#MagottS06