some slides to support the overview talk I gave at end of OLNet fellowship, and then again at WCET conferenceLeer menos