Formal Techniques for Networked and Distributed Systems - FORTE 2003 - e-bok, Engelska, 2003