//-->
Quantitative fault tree analysis using Binary Decision Diagrams
Sinnamon, Roselyn M., (1996)
An efficient real-time method of analysis for non-coherent fault trees
Remenyte-Prescott, Rasa, (2009)
Accelerating Petri-Net simulations using NVIDIA Graphics Processing Units
Yianni, Panayioti C., (2018)