1. Determining configuration probabilities of safety-critical adaptive systems;Adler,2007
2. Amari, S., Dill, G., Howald, E., 2003. A new approach to solve dynamic fault trees. Proceedings of the 2003 Annual Reliability and Maintainability Symposium, pp. 374–379.
3. Henshin: advanced concepts and tools for in-place EMF model transformations;Arendt,2010
4. Basic concepts and taxonomy of dependable and secure computing;Avižienis;IEEE Trans. Dependable Secur. Comput.,2004
5. Identifying critical architectural components with spectral analysis of fault trees;Ayav;Appl. Soft Comput.,2016