Sentence:  While synthesizing a controller for timed automata one should be careful not letting any of the players win by "<WSD>Zenonism</WSD>", that is, by preventing the time from progressing as does the Tortoise in its race against Achilles. 
Meaning of the word marked with <WSD> tags:  A philosophical framework in which a finite continuum is regarded as an infinite number of discrete elements.