1. Avizienis, A., Laprie, J.-C., Randell, B., Landwehr, C.: Basic concepts and taxonomy of dependable and secure computing. IEEE Trans. Dependable Secure Comput. 1, 1–33 (2004)
2. Lozinsky, A., Shubinsky, I.: Defining requirements to software (in Russian).
http://www.ibtrans.ru/Requirements.pdf
. Accessed 06 May 2016
3. Klark, E., Gramberg, O., Peled, D.: Verification of Program Models: Model Checking. MTSNMO, Moscow (2002). (in Russian)
4. Mayers, G.: Quality of software. Mir, Moscow (1980). (in Russian)
5. Lipayev, V.: Methods of quality assurance for large-scale software (In Russian). Sinteg, Moscow (2003). (in Russian)