Formal Techniques for Networked and Distributed Systems - FORTE 2006 - häftad, Engelska, 2006