1. An approach to optimisation of fault tolerant architecture using HiP-HOPS;Adachi;Softw. Pract. Exp.,2011
2. Adler, R., Domis, D., Hofig, K., Kemmann, S., Kuhn, T., Schwinn, J., et al. 2011. Integration of component fault trees into the UML. In: Workshops and Symposia at MODELS, pp. 312–327.
3. Aizpurua, J.I., Muxika, E., 2012. Design of dependable systems: an overview of analysis and verification approaches. In: DEPEND’12: Fifth International Conference on Dependability. IARIA, pp. 4–12.
4. Model-based design of dependable systems: limitation and evolution of analysis and verification approaches;Aizpurua;Int. J. Adv. Sec,2013
5. Akerlund, O., Bieber, P., 2006. ISAAC, a framework for integrated safety analysis of functional, geometrical, and human aspects. In: 3rd European Congress on Embedded Real Time System (ERTS), Toulouse, France.