@misc{21944,
  title = {Методика доказательства безопасности программного обеспечения микропроцессрных систем железнодорожной автоматики},
  year = {2014},
  language = {eng},
}