A model for deadlock detection based on automata and languages theory | Publicación