Henzinger, et al.. Valigator: A Verification Tool with Bound and Invariant Generation. Springer Berlin Heidelberg, 2008, doi:10.1007/978-3-540-89439-1_24.