The Specification and Prototyping of Communication Protocols: From Heterogeneous Temporal Logic to Concurrent PROLOG Capítulo de livro