Formal methods for components and objects second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4 - 7, 2003 ; revised lectures (Springer, 2004)