Bowman, H.2022-03-022022-03-0220010-521-77184-6https://publica.fraunhofer.de/handle/publica/162079Formal methods for distributed processing