[1] ISO 26262-1, Road vehicles — Functional safety, First Edition, 2011-11-15

 

[2] HiP-HOPS User Manual, version 2.5, July 2013

 

[3] Adachi, M., et al. (2011). "An approach to optimization

of fault tolerant architectures using HiP-HOPS." Software - Practice and Experience 41(11): 1303-1327.        

 

[4] Mahmud, N., et al. (2010). A translation of state machines to temporal fault trees.     

  

[5] Nggada, S. H., et al. (2010). Dynamic effect of perfect preventive maintenance on system reliability and cost using HiP-HOPS.        

 

[6] Papadopoulos, Y., et al. (2011). "Engineering failure analysis and design optimisation with HiP-HOPS." Engineering Failure Analysis 18(2): 590-608. 

 

[7] Papadopoulos, Y., et al. (2010). Automatic allocation of safety integrity levels.

 

[8] Sharvia, S. and Y. Papadopoulos (2011). Integrated application of compositional and behavioural safety analysis. 97: 179-192.        

  

[9] Wolforth, I., et al. (2010). "Capture and reuse of composable failure patterns." International Journal of Critical Computer-Based Systems 1(1-3): 128-147.