OLD home page of Sandro Etalle

I am now working 4 days a week for the University of Eindhoven, and one day a week for the University of Twente. So my homepage has moved to http://www.win.tue.nl/~setalle. Sorry for the inconvenience.