Ciancarini, P.2022-03-022022-03-0219990-7923-8429-6https://publica.fraunhofer.de/handle/publica/135881Formal methods for open object-based distributed systems