1. Akerlund, O., Bieber, P., Boede, E., Bozzano, M., Bretschneider, M., Castel, C., Cavallo, A., Cifaldi, M., Gauthier, J., Griffault, A., Lisagor, O., Luedtke, A., Metge, S., Papadopoulos, C., Peikenkamp, T., Sagaspe, L., Seguin, C., Trivedi, H., Valacca, L.: ISAAC, a framework for integrated safety analysis of functional, geometrical and human aspects. In: 3rd Embedded Real Time Software, Toulouse, France (January 2006)
2. ANAC: Aeronautical product certification. DOU N0 230, Seção 1, p. 28, (December 01, 2011) (November 2011), http://www2.anac.gov.br/biblioteca/resolucao/2011/RBAC21EMD01.pdf
3. Astrom, K.J., Murray, R.M.: Feedback Systems: An Introduction for Scientists and Engineers. Princeton University Press, Princeton (2008)
4. Bondavalli, A., Simoncini, L.: Failure classification with respect to detection. In: Second IEEE Workshop on Future Trends of Distributed Computing Systems, pp. 47–53 (October 1990)
5. Cousot, P.: Abstract interpretation. ACM Comput. Surv. 28, 324–328 (1996)