1. Simulation-based evaluation of dependability and safety properties of satellite technologies for railway localization;Beugin;Transp Res Part C,2012
2. Bobbio A, Raiteri DC. Parametric fault trees with dynamic gates and repair boxes. In: Proceedings of reliability and maintainability, 2004 annual symposium – RAMS, 2004. p. 459–65.
3. Boudali H, Crouzen P, Stoelinga M. Dynamic Fault Tree analysis using Input/Output Interactive Markov Chains. In: 37th Annual IEEE/IFIP international conference on dependable systems and networks, DSN 2007, Edinburgh, UK, 2007.
4. Buchaker K. Modeling with extended fault trees. In: Fifth IEEE international symposium on high assurance systems engineering (HASE), 2000. p. 238–46.
5. Dugan JB, Salvator JB, Boyd MA. Fault trees and sequence dependencies. In: Annual reliability and maintainability symposium, 1990. p. 286–93.