Formal Techniques for Networked and Distributed Systems - FORTE 2007 - Derrick, John (Springer Berlin Heidelberg, 2020)