Real-Time Extended Interface Automata for Software Testing Cases Generation

Figure 1

An example of time language.