Thomas Arts, Wan J. Fokkink: Eighth International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2003, Roros, Norway, June 5-7, 2003. Electronic Notes in Theoretical Computer Science 80, Elsevier 2003