Formal Techniques for Networked and Distributed Systems – FORTE 2008 - Suzuki, Kenji (Springer Berlin Heidelberg, 2020)