Практика разработки и сертификации „смешанных“ программных решений и платформ (Роман Евдокимов, ROSS-2013)