1. Sineshchuk Y., Philippov A., Terehin S., Nikolaev D., Saenko I. Structural-logical method of the safety analysis of the potentially dangerous objects // SPIIRAS Proceedings. 2011. № 17 (2). C. 55-69.