1. Proc. of Formal Methods in Computer-Aided Design, FMCAD 2007, Austin, Texas, USA, November 11-14. IEEE Computer Society (2007)
2. Proc. of 9th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2009, Austin, Texas, USA, November 15-18. IEEE (2009)
3. Abraham, J.A., Siewiorek, D.P.: An algorithm for the accurate reliability evaluation of triple modular redundancy networks. IEEE Trans. on Comp. 100(7), 682–692 (1974)
4. Akerlund, O., Bieber, P., Boede, E., Bozzano, M., Bretschneider, M., Castel, C., Cavallo, A., Cifaldi, M., Gauthier, J., Griffault, A., et al.: ISAAC, A framework for integrated safety analysis of functional, geometrical and human aspects. In: Proc. ERTS (2006)
5. Anderson, T., Lee, P.A.: Fault tolerance, principles and practice. Prentice/Hall International (1981)