Оценка безопасности систем "человек-машина-среда" логико-вероятностным методом. Стариков В.А.