TCTL Inevitability Analysis of Dense-Time Systems: From Theory to Engineering | IEEE Journals & Magazine | IEEE Xplore