XTemp is an acronym for 'XML Testing and Event-driven Monitoring of [business] Processes' also suggesting a strong 'temporal' aspect. The monitoring and testing of business processes and transactions serves anyone or a combination of these objectives:
D. Zühlke. Nutzergerechte Entwicklung von Mensch-Maschine-Systemen: Useware-Engineering für technische Systeme, chapter 7, Springer, Berlin, 2 edition, (2012)
D. Kirschner, R. Velik, S. Yahyanejad, M. Brandstötter, and M. Hofbaur. Interactive Collaborative Robotics: First International Conference, ICR 2016, Budapest, Hungary, volume 9812 of Lecture Notes in Artificial Intelligence, Springer, Cham, (2016)
A. Chéritat. (2014)cite arxiv:1410.4417Comment: 16 pages, 7 figures. This version has the following changes: Added computer generated images of the key positions S1 and S2. Corrected several minor mistakes. Corrected the proof of the main proposition (I had forgotten to ensure that the top and bottom curves remain embedded during the homotopy) and slightly changed the statement of Lemma 3 to adapt.