@proceedings { martinho07, title = {Preface to the proceedings of the systems demonstrations}, year = {2007}, author = {Carlos Martinho and Paolo Petta} }