Formal methods for components and objects : 4th international symposium, FMCO 2005, Amsterdam, the Netherlands, November 1-4, 2005: revised lectures / SpringerLink (Online service), 2006 r=on-line