C. Bellettini, M. Camilli, L. Capra, and M. Monga. Proceedings of the 14th International Symposium on
Symbolic and Numeric Algorithms for Scientific
Computing (SYNASC 2012), page 295--302. Timisoara, Romania, IEEE CS, IEEE Computer Society, (September 2012)
C. Bellettini, M. Camilli, L. Capra, and M. Monga. Proceedings of 7th International Workshop on
Reachability Problems (RP 2013), volume 8169 of Lecture Notes in Computer Science, page 83--95. Heidelberg, Springer, (September 2013)