Frontiers of combining systems 7th international symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009 : proceedings / - Ghilardi, Silvio.; Sebastiani, R. (Springer,)