An efficient state space generation for the analysis of real-time systems | IEEE Journals & Magazine | IEEE Xplore