На страницу DYANA: an integrated development environment for simulation and verification of real-time avionics systems отсутствуют ссылки с других страниц.