Hadi Aghassi and Farrokh Aghassi, “Fault Tree Analysis Speed-up with GPU Parallel Computing”, IJCISIM, vol. 5, p. 9, Jan. 2013.