  The paper studies some important properties of the asynchronous (=timed)
automata: the delay-insensitivity, the hazard-freedom, the semi-modularity and
the technical condition of good running. Time is discrete.

Logic in Computer Science