"Методика доказательства безопасности программного обеспечения микропроцессрных систем железнодорожной автоматики."(2014):
