"Software Systems Reliability and Security" - читать интересную книгу автора (M. Broy, M Broy, T. Hoare, J. Grunbauer)