Formal Methods for Components and Objects Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures - Boer, Frank S. de; Boer, Frank S. de; Bonsangue, Marcello M.; Bonsangue, Marcello M.; Graf, Susanne; Graf, Susanne; de Roever, Willem-Paul; de Roever, Willem-Paul (Springer Berlin Heidelberg : Imprint: Springer, 2004)