Design of real-time control systems requires new methodologies in their modelling, verification, validation and implementation. In the paper a complex integrated design system is presented. The design process starts with ...