Formal Models of the Scenario-Indicator Approach in the Study of Security Problems in Railway Transport. - Vladimir V. Kulba; Dmitry Somov; Andrey Somov (MIM, 2013)