V. Lonati, and M. Pradella. Proceedings of the 34th International Symposium on Mathematical Foundations of Computer Science 2009, page 549--560. Berlin, Heidelberg, Springer-Verlag, (2009)
V. Lonati, and M. Pradella. Implementation and Application of Automata, volume 6807 of Lecture Notes in Computer Science, Springer Berlin Heidelberg, (2011)