This is the authors' final draft of the Book Chapter published in Lecture Notes in Computer Science, 2007, vol. 4448, pp.627-636. The final publsihed version is available at http://www.springerlink.com/content/q217517757p1975w/?p=733f5fc33d3e47f0b5b9f2f4a8a6b208&pi=1