DYANA: an integrated development environment for simulation and verification of real-time avionics systemsстатья