Behavior verification of hybrid real-time requirements by qualitative formalism | IEEE Conference Publication | IEEE Xplore