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)
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)