Text this: Formal methods for components and objects : 7th international symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008 : revised lectures / Frank S. de Boer, Marcello M. Bonsangue, Eric Madelaine (eds.).