The data described in the paper submitted to TACAS2009 can be downloaded here.