The new address of the STRAF page is http://www.dimi.uniud.it/~chittaro/straf.html. Please, update your bookmarks.