Peled, D.A.2022-03-022022-03-0220023-540-00141-7https://publica.fraunhofer.de/handle/publica/139182Formal techniques for networked and distributed systems