Formal techniques for networked and distributed systems - FORTE 2003 23rd IFIP WG 6.1 international conference, Berlin, Germany, September 29 - October 2, 2003 ; proceedings (Springer, 2003)