Некоторые проблемы автоматизации разработки математического обеспечения систем реального времениНиколаев, В.П.197921 с.