TACAS 2007THERE AND BACK AGAIN: Lessons Learned on the Way to the MarketRance CleavelandPDFDOI 10.1007/978-3-540-71209-1_1dblpBibTeXNo abstract available.