Time-dependent logic for goal-oriented dynamic-system analysis | IEEE Conference Publication | IEEE Xplore