Bas van den Heuvel Promotors: Prof. Jorge A. Pérez Parra (RuG), Prof. Gerard R. Renardel De Lavalette (RuG) University of Groningen Date: 2 April 2024 Thesis: PDF Summary Much of the software we use in everyday life consists of distributed components (running on separate cores or even computers) that collaborate …