An approach to a synthesis of formal and visual description techniques for the development of real-time reactive systems.