1. Abdulla, P.A., Deneux, J., Stålmarck, G., Ågren, H., Åkerlund, O.: Designing safe, reliable systems using scade. In: Symposium on Leveraging Applications of Formal Methods ISoLA 2004 (2004)
2. Åkerlund, O., Bieber, P., Böede, E., Bozzano, M., Bretschneider, M., Castel, C., Cavallo, A., Cifaldi, M., Gauthier, J., Griffault, A., Lisagor, O., Lüdtke, 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: Proceedings of the European Congress on Embedded Real Time Software (ERTS 2006) (2006)
3. Aldemir T. (1987). Computer-assisted Markov Failure Modeling of Process Control Systems. IEEE Trans. Reliab. R-36:133–144
4. Arnold A., Griffault A., Point G., Rauzy A. (2000). The AltaRica formalism for describing concurrent systems. Fundam. Inform. 40:109–124
5. Audemard G., Bertoli P., Cimatti A., Korniłowicz A., Sebastiani R. (2002). A SAT based approach for solving formulas over boolean and linear mathematical propositions. In: Voronkov A. (eds) Proceedings Conference on Automated Deduction (CADE-18), vol 2392 of LNAI. Springer, Berlin Heidelberg New York, pp. 195–210