Behavior verification of hybrid real-time requirements by qualitative formalism