Nabil, Messaoudi; Chaoui, Allaoua; Bettaz, Mohamed - In: International Journal of Embedded and Real-Time … 8 (2017) 2, pp. 1-23
Büchi automata which allow us to capture the evolution of each object among the lifeline. This paper focuses on UML modeling …
