1. Synchronization and linearity: an algebra for discrete event systems;Baccelli,1992
2. Bouyer, P., Chevalier, F., and D’Souza, D. (2005). Fault diagnosis using timed automata. In Proceedings of the 8th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS).
3. Algebraic tools for the performance evaluation of discrete event systems;Cohen;Proceedings of the IEEE,1989
4. Cottenceau, B., Lhommeau, M., Hardouin, L., and Boimond, J.-L. (2000). Data processing tool for calculation in dioid. In 5th International Workshop on Discrete Event Systems. http://www.istia.univ-angers.fr/hardouin/outils.html.
5. Dousson, C. and Duong, T.V. (1999). Discovering chronicles with numerical time constraints from alarm logs for monitoring dynamic systems. In Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence.