Formal Techniques for Networked and Distributed Systems - FORTE 2008 - e-bok, Engelsk, 2008