1. Alur, R., Dill, D.: A theory of timed automata. Theoretical Computer Science 126, 183–235 (1994)
2. Asarin, E., Caspi, P., Maler, O.: Timed regular expressions. J. ACM 49, 172–206 (2002)
3. Banu-Demergian, I., Stefanescu, G.: On the contour representation of two-dimensional patterns (2013), draft
4. Banu-Demergian, I., Stefanescu, G.: Representation of scenarios in finite interactive systems (2013), draft, submitted
5. Bergstra, J., Bethke, I., Ponse, A.: Process algebra with iteration. The Computer Journal 60, 109–137 (1994)