%0 Journal Article %T Terminological peculiarities of stages of railway automatics and telemechanics safety development and proving %A Markov, D.. %A Nasedkin, O.. %A Vasil’ev, D.. %A Butuzov, M.. %K railway automation and remote control (RARC), life cycle, safety development and proving, functioning safety, functional safety, RARC safety, technological function, RARC technology, behavior-based safety, process safety %J Transport automation research %D 2017 %N 3 %P 11 %I FSBEI HE "Emperor Alexander I St. Petersburg State Transport University"