Formal Techniques for Networked and Distributed Systems - FORTE 2005 - Wang, Farn (Springer Berlin Heidelberg, 2020)