Formal techniques for networked and distributed systems, FORTE 2003 23rd IFIP WG 6.1 international conference, Berlin, Germany, September 29-October 2, 2003 : proceedings / - König, Hartmut,; Heiner, Monika,; Wolisz, Adam. (Lecture notes in computer science,)