1. M. Abadi, L. Lamport, “Composing specifications”, Tech. Report 66, Digital Equipment Corp. Systems Research Center, Palo Alto, California, Oct. 1990, 90p.
2. D. Andrews, A. Mahmood, E.J. McCluskey, “Executable assertions and flight software”, in Proc. AIAA/IEE 6th Digital Avionics Systems Conf., Dec. 1984, pp. 346–351.
3. J. Arlat, M. Aguera, L. Amat, Y. Crouzet, J.-C. Fabre, J.-C. Laprie, E. Martins and D. Powell, “Fault Injection for Dependability Validation - A Methodology and Some Applications”, IEEE Trans. on Software Engineering, 16 (2), pp. 166–182, February 1990.
4. T.F. Arnold, “The Concept of Coverage and its Effect on the Reliability Model of Repairable Systems”, IEEE Trans. on Computers, vol. C-22, no. 3, pp. 251–254, 1973.
5. A. Avizienis, J.-C. Laprie, “Dependable computing: from concepts to design diversity”, Proceedings of the IEEE, vol. 74, no. 5, May 1986, pp. 629–638.