Towards a Theory of Time-Bounded Verification. - Ouaknine, J; Worrell, J (ICALP (2), 2010)