Formal Techniques for Networked and Distributed Systems - FORTE 2003 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29 – October 2, 2003 - König, Hartmut; König, Hartmut; Heiner, Monika; Heiner, Monika; Wolisz, Adam; Wolisz, Adam (Springer Berlin Heidelberg : Imprint: Springer, 2003)